Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €
phone Kontakt phoneWie einkaufen

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Jin Song Dong
Libristo-Code: 01558768
Verlag Springer, Berlin, November 2002
This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Vollständige Beschreibung
? points 249 b
102.97 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Mr. Tod (Traditional Chinese): 01 Paperback Color H y Xiao Phd / Buch Broschur
common.buy 46.83 €
Un Regalo para el Alma 3 Jose Maria Ventura / Buch Broschur
common.buy 15.57 €
Soleil d'or CLERGEOT-L / Buch Broschur
common.buy 27.40 €
La sala de lo penal MUNILLA PETREÑAS / Buch Broschur
common.buy 12.43 €
Diccionario de jugadores del Real Madrid ENRIQUE MARCOS / Buch Broschur
common.buy 26.19 €
Wittgenstein et la question du livre Guest / Buch Broschur
common.buy 31.25 €
Mini livre à gratter - Dinosaures Duddek / Buch Broschur
common.buy 12.33 €
Juwelen aus El Moryas Schatzhaus El Morya / Buch Broschur
common.buy 14.86 €
Aria - Tome 40 - Carnet de voyage Weyland Michel / Buch Hardcover
common.buy 19.92 €
Wise Man's Grandchild 12 Shunsuke Ogata / Buch Broschur
common.buy 6.46 €
Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg / Buch Broschur
common.buy 7.17 €
Demnächst
Jméno-objev a zmizení věci Antonín Mokrejš / Buch Broschur
common.buy 9.90 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
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 and Software Engineering
Autor Jin Song Dong, Jim Woodcock
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2003
Anzahl der Seiten 682
EAN 9783540204619
ISBN 354020461X
Libristo-Code 01558768
Verlag Springer, Berlin
Gewicht 966
Abmessungen 155 x 235 x 35

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 > Theoretische Informatik
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

Das könnte Sie auch interessieren

Wall Jean Paul Sartre / Buch Broschur
common.buy 12.84 €
William Shakespeare's the Merry Rise of Skywalker: Star Wars Part the Ninth DOESCHER IAN / Buch Hardcover
common.buy 18.30 €
This Is What It Sounds Like: What the Music You Love Says about You Ogi Ogas / Buch Broschur
common.buy 15.47 €
BattleTech Legends Robert Thurston / Buch Broschur
common.buy 14.56 €
The Instant Enlightenment of Ordinary People: Nichiren Buddhism 2.0 for the 21st Century Yukio Matsudo / Buch Broschur
common.buy 18.40 €
49 DIVISION 146 Infantry Brigade Prince of Wales's Own (West Yorkshire Regiment) 1/7th Battalion Wo95/2795/1 / Buch Broschur
common.buy 25.28 €
Bird House Libby Walden / Buch Leporello
common.buy 11.83 €
Learner-Centered Classroom Practices and Assessments Barbara L. McCombs / Buch Hardcover
common.buy 75.15 €
Diabetic Retinopathy - A Guide for Diabetes Care Teams William D. Alexander / Buch Broschur
common.buy 54.21 €
Thorney Liber Vitae (London, British Library, Additional MS 40,000, fols 1-12r) Lynda Rollason / Buch Hardcover
common.buy 149.90 €
How We Know Harry Binswanger / Buch Hardcover
common.buy 41.16 €
Oxford Reading Tree Story Sparks: Oxford Level 8: The Wish Fisher Holly Harper / Buch Broschur
common.buy 13.34 €
Women and Leadership Around the World Cynthia Cherrey / Buch Broschur
common.buy 64.83 €
The Higher Power of Lucky Susan Patron / Buch Broschur
common.buy 7.37 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?