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 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

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 249 b
103.10 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Mapa National Portugal, Madeira 2021 / Buch binding.
common.buy 12.75 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Buch Broschur
common.buy 10.42 €
L'enfant du mistral Jean-Michel Thibaux / Buch Broschur
common.buy 9.61 €
Régression avec Python Rouvière / Buch Broschur
common.buy 41.52 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Buch Broschur
common.buy 16.30 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Buch Broschur
common.buy 15.79 €
Pays natal Dhotel / Buch Broschur
common.buy 13.97 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Buch Broschur
common.buy 56.71 €
Grundlagen des Zeichnens John Ruskin / Buch Hardcover
common.buy 21.66 €
Cuentos de amor, de locura y de muerte Horacio Quiroga / Buch Broschur
common.buy 9.92 €
Handbuch Psychotherapie-Antrag Ingo Jungclaussen / Buch Broschur
common.buy 71.70 €
Mark Aurels Selbstgesprache Marcus Aurelius Antonius / Buch Broschur
common.buy 18.83 €
Curso de derecho administrativo laboral Ángel Blasco Pellicer / Buch Broschur
common.buy 44.55 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Buch Broschur
common.buy 20.55 €
Vie de Saint Louis de Gonzague, d'Apres V. Cepari, Son Premier Historien Charles Clair / Buch Broschur
common.buy 28.55 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Buch Broschur
common.buy 23.28 €
Aggressiv Flirten Michael Wiesner / Buch Broschur
common.buy 13.56 €
Essai sur la litterature merveilleuse des noirs, suivi de Contes indigenes de l'Ouest africain francais - Tome premier François Victor Équilbecq / Buch Hardcover
common.buy 20.55 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Buch Broschur
common.buy 53.16 €
Grundformen der Angst Fritz Riemann / Buch Hardcover
common.buy 21.77 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Buch Broschur
common.buy 95.60 €

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

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

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis Afshin Izadian / Buch Broschur
common.buy 65.62 €
Julissa's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 16.70 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Buch Hardcover
common.buy 35.54 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Buch Broschur
common.buy 28.25 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Buch Hardcover
common.buy 25.31 €
Winter of Ice and Iron Rachel Neumeier / Buch Broschur
common.buy 15.18 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Buch Broschur
common.buy 6.57 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Buch Broschur
common.buy 9.00 €
Resurrecting Artwork MCGUIRE / Buch Broschur
common.buy 13.87 €
Hydrogeology Dassargues / Buch Hardcover
common.buy 113.33 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Buch Hardcover
common.buy 171.26 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Buch Broschur
common.buy 7.89 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 35.34 €
State Crisis in Fragile Democracies Samuel Handlin / Buch Broschur
common.buy 50.43 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Buch Hardcover
common.buy 112.31 €
Understanding Gangs and Gang Violence in America MORALES / Buch Broschur
common.buy 133.18 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Buch Broschur
common.buy 14.07 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Buch Broschur
common.buy 38.98 €
Sailor's Logbook Mark L. Thompson / Buch Broschur
common.buy 35.34 €
Ethical and Professional Issues in Nursing W Tadd / Buch Broschur
common.buy 68.36 €
Pippi Longstocking Astrid Lindgren / Buch Broschur
common.buy 9.71 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Buch Broschur
common.buy 207.72 €
Love Wins Elizabeth Martin / E-Book Adobe ePub DRM
common.buy 4.55 €
Formal Logic P. Lorenzen / Buch Broschur
common.buy 103.10 €

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?