LIBRISTO
LIBROAMANTO
obligatorisch
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 €
Österreichische Post 5.49 GLS-Kurier 4.99 GLS-Kurier 4.99 DPD-Kurier 3.99 DPD-Stelle 2.99

Formal Methods and Software Engineering

11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Karin Breitman
Libristo-Code: 01655066
Verlag Springer, Berlin, Oktober 2009
This book constitutes the refereed proceedings of the 11th International Conference on Formal Engine... Vollständige Beschreibung
? points 263 b
107.29 inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware


Kunden kauften auch


Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Buch Broschur
common.buy 10.69
L'enfant du mistral Jean-Michel Thibaux / Buch Broschur
common.buy 9.99
Régression avec Python Rouvière / Buch Broschur
common.buy 42.69
Pays natal Dhotel / Buch Broschur
common.buy 14.39
Grundlagen des Zeichnens John Ruskin / Buch Hardcover
common.buy 25.00
Cuentos de amor, de locura y de muerte Horacio Quiroga / Buch Broschur
common.buy 9.79
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Buch Broschur
common.buy 76.00
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Buch Broschur
common.buy 20.90
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Buch Broschur
common.buy 45.89
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Buch Broschur
common.buy 21.29
Aggressiv Flirten Michael Wiesner / Buch Broschur
common.buy 14.90
Marktwirtschaft Im Unternehmen Conrad Mauritz / Buch Broschur
common.buy 55.29
Grundformen der Angst Fritz Riemann / Buch Hardcover
common.buy 22.90
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Buch Broschur
common.buy 99.09

This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009.§The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

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
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2009
Anzahl der Seiten 757
EAN 9783642103728
ISBN 3642103723
Libristo-Code 01655066
Gewicht 1169
Abmessungen 155 x 235 x 30
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


Julissa's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 16.49
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Buch Broschur
common.buy 27.89
Typical Drama with Cloe-New School=New Life Cloe Demartino / Buch Hardcover
common.buy 24.99
Winter of Ice and Iron Rachel Neumeier / Buch Broschur
common.buy 14.99
Resurrecting Artwork MCGUIRE / Buch Broschur
common.buy 13.69
Hydrogeology Dassargues / Buch Hardcover
common.buy 117.09
State Crisis in Fragile Democracies Samuel Handlin / Buch Broschur
common.buy 49.79
The Treasury of Knowledge and Library Reference Samuel Maunder / Buch Broschur
common.buy 38.49
Sailor's Logbook Mark L. Thompson / Buch Broschur
common.buy 34.89
Pippi Longstocking Astrid Lindgren / Buch Broschur
common.buy 10.29
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Buch Broschur
common.buy 205.09
Love Wins Elizabeth Martin / E-Book Adobe ePub DRM
common.buy 4.79
Formal Logic P. Lorenzen / Buch Broschur
common.buy 107.29

Anmeldung

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

 
obligatorisch
obligatorisch

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