Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Open Object-Based Distributed Systems IV

Name: Formal Methods for Open Object-Based Distributed Systems IV
Brand: Springer, Berlin
SKU: 01397318
Price: 234.09 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9780792379232

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01397318

Verlag Springer, Berlin, November 1999

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Vollständige Beschreibung

Libristo-Code: 01397318

573 b

234.09 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Velké samolepky Dopravní prostředky - Aktivity s více než 80 samolepkami

Ring

6.69 €

Brillo en la tierra del cangaço

Broschur

60.59 €

Mimi a Líza: Tmy sa nemusíš báť Katarína Kerekesová

Hardcover

10.29 €

Hat der Entbindungsort einen Einfluss auf die Sterblichkeit von Neugeborenen Justice Ajaari

Broschur

54.90 €

Preži túto noc Riley Sager

Hardcover

16.69 €

Faraonova šperkovnice Christa Holteiová

Broschur

7.39 €

Egon Schiele ? Adrian Ghenie. Schattenbilder Adrian Ciprian Barsan

Hardcover

58.00 €

message

Broschur

21.79 €

Silence Scorcese

Broschur

12.79 €

Vatikán a české země v letech 1914-1918 Marek Šmíd

Blatt

14.99 €

Modely lásky Barry Vissell

Hardcover

7.19 €

Ilkögretim Ögrencilerinin Kavram Yanilgilari Serdar Baran

Broschur

46.59 €

Божественная комедия. В трёх томах Данте Алигьери

Hardcover

65.99 €

¡SUEÑA!

Hardcover

18.99 €

Iphigenie auf Tauris Johann Wolfgang Goethe

Broschur

4.69 €

Moje první knížka o mořích a oceánech Jane Newland

Leporello

7.89 €

Autodesk Inventor 2015 - Aufbaukurs Konstruktion Christian Schlieder

Broschur

18.95 €

Mehr als Worte singt ein Lied Wilfried Koch

Broschur

26.90 €

Burg Dublin Irland - 1.000 Teile (Puzzle)

Spiel

32.90 €

UN AIR DE MÉTRO Sophie Bureau

Broschur

14.09 €

Güter und Ungüter. Hans G. Fuchs

Hardcover

66.39 €

Europa der Regionen. Joachim Bauer

Broschur

66.39 €

Kinder und Fernsehen unter dem Aspekt von Gewaltwahrnehmung und Angstbewaltigung Eva Oestreich

Broschur

17.95 €

Wissensentwicklungskompetenz im Business-to-Business-Bereich Ilka Griese

Broschur

70.29 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Papers in this volume focus on the following specific technologies: components; mobile code; Java®; The Unified Modeling Language (UML); refinement of specifications; types and subtyping; temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods for Open Object-Based Distributed Systems IV

Autor Scott F. Smith, Carolyn L. Talcott

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2000

Anzahl der Seiten 422

EAN 9780792379232

ISBN 0792379233

Libristo-Code 01397318

Verlag Springer, Berlin

Gewicht 1720

Abmessungen 155 x 235 x 23

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computersicherheit > Kryptografie, Verschlüsselungstechnologie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert