[email protected]
LIBRISTO 0
Österreichische Post 5.99 € DPD-Kurier 6.49 € GLS-Kurier 4.49 €
phone Kontakt phoneWie einkaufen

Formal Methods for Components and Objects, FMCO 2002

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods for Components and Objects, FMCO 2002 Frank S. de Boer
Libristo-Code: 01558705
Verlag Springer, Berlin, November 2002
This book presents revised tutorial lectures given by invited speakers at the First International Sy... Vollständige Beschreibung
? points 161 b
64.16 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Květa Fialová pod křídly andělů Josef Kubáník / Hardcover
common.buy 8.57 €
Clara Grunwald und Maria Montessori Diana Stiller / Broschur
common.buy 49.94 €
Computer Safety, Reliability, and Security Rune Winther / Broschur
common.buy 64.16 €
Algebraic Geometry Solomon Lefschetz / Hardcover
common.buy 154.36 €
lo fizo, fizo lo, fizol - Die Stellung der Klitika im 13. Jahrhundert und der Gegenwart Theresa Zuschnegg / Broschur
common.buy 18.11 €
7. Schuljahr, Arbeitsheft Heinz Griesel / Blatt
common.buy 7.31 €
Kolonien im Roemischen Reich mit besonderer Berucksichtigung der Zeit der Gracchen Andreas Staggl / Broschur
common.buy 18.11 €
Fundamentals of Radiation Materials Science Gary Was / Hardcover
common.buy 112.09 €
Communal Organization and Social Transition Barry Laffan / Broschur
common.buy 59.22 €
Gier Arne Dahl / Broschur
common.buy 11.10 €

This book presents revised tutorial lectures given by invited speakers at the First International Symposium on Formal Methods for Components and Objects, FMCO 2002, held in Leiden, The Netherlands, in November 2002.The 21 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to complex software systems such as components and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Informationen zum Buch

Vollständiger Name Formal Methods for Components and Objects, FMCO 2002
Autor Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 512
EAN 9783540203032
ISBN 3540203036
Libristo-Code 01558705
Verlag Springer, Berlin
Gewicht 800
Abmessungen 156 x 234 x 26

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto