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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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
101.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

L'enfant du mistral Jean-Michel Thibaux / Buch Broschur
common.buy 7.59 €
Was ist Aufklarung? Angela Lorenz-Ridderbecks / Buch Broschur
common.buy 17.95 €
Régression avec Python Rouvière / Buch Broschur
common.buy 36.29 €
Witold Gombrowicz entre l'Europe et l'Amérique Buch Broschur
common.buy 23.89 €
Pays natal Dhotel / Buch Broschur
common.buy 12.09 €
Armeijassa kylmän sodan aikana / Buch Hardcover
common.buy 30.09 €
Воля к жизни. Простые привычки, которые изменят твою жизнь. Книга 1 Андрей Беловешкин / Buch Broschur
common.buy 16.49 €
Marktwirtschaft Im Unternehmen Conrad Mauritz / Buch Broschur
common.buy 54.99 €
Auf dem Weg in einen »neuen Rechtsstaat«. Rainer Pitschas / Buch Broschur
common.buy 99.90 €
ENFERMEDAD DE PARKINSON Y OTROS TRASTORNOS DEL MOVIMIENTO SEN / Buch Broschur
common.buy 51.39 €
El príncipe, el león y los cuatro vientos Baeza C. / Buch Broschur
common.buy 25.59 €
S.O.S. Filosofia. Le risposte dei filosofi alle piccole e grandi emergenze della vita Simonetta Tassinari / Buch Broschur
common.buy 14.19 €
Grundformen der Angst Fritz Riemann / Buch Hardcover
common.buy 22.90 €
Fullmetal Alchemist - tome 1 Terre de pierre Hiromu Arakawa / Buch Broschur
common.buy 8.29 €
Mapa National Portugal, Madeira 2021 / Buch binding.
common.buy 11.39 €
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.29 €
Aggressiv Flirten Michael Wiesner / Buch Broschur
common.buy 14.90 €
Grundlagen des Zeichnens John Ruskin / Buch Hardcover
common.buy 25.00 €
Estudo da influencia do tempo e temperatura no forneamentodebiscoitos Rennan Correia / Buch Broschur
common.buy 35.29 €
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 40.09 €
LOW 01: EL DELIRIO DE LA ESPERANZA REMENDER / Buch Broschur
common.buy 18.09 €
Les Gantois En 1382. Tome 2, Tableaux 9 A 16 De Cort-G / Buch Broschur
common.buy 19.19 €

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 64.79 €
Julissa's Reading Log Martha Day Zschock / Buch Hardcover
common.buy 14.59 €
Language Testing and Assessment: From Theory to Practice Aek Phakiti / Buch Hardcover
common.buy 97.19 €
The Words of Jesus in the Original Aramaic Stephen Andrew Missick / Buch Broschur
common.buy 25.29 €
Typical Drama with Cloe-New School=New Life Cloe Demartino / Buch Hardcover
common.buy 22.69 €
Winter of Ice and Iron Rachel Neumeier / Buch Broschur
common.buy 13.29 €
Cool-Doo Math - Grade 1&2 - Vol.03 - Black & White Version Andrew Feng / Buch Broschur
common.buy 5.89 €
Diary of a Mad Black Man: Tears, Anger, Love, Faith Anthony B / Buch Broschur
common.buy 7.99 €
The Musical Play, Misunderstood is Blue Sherry Boyd / Buch Broschur
common.buy 10.49 €
Hydrogeology Dassargues / Buch Hardcover
common.buy 114.59 €
Practical Guide to Transcranial Direct Current Stimulation Helena Knotkova / Buch Hardcover
common.buy 169.09 €
Letters, Hitherto Unpublished, Written by Members of Sir Walter Scott's Family to Their Old Governess Anne Scott / Buch Hardcover
common.buy 35.09 €
Business Result: Elementary: Class Audio CD David Grant / Audio Audio CD
common.buy 16.99 €
State Crisis in Fragile Democracies Samuel Handlin / Buch Broschur
common.buy 45.39 €
Ethical and Professional Issues in Nursing W Tadd / Buch Broschur
common.buy 57.89 €
Essential Elements Jazz Play-Along - Jazz Standards: Flute, F Horn and Tuba (B.C.) [With CD (Audio)] Hal Leonard Corp / Buch Broschur
common.buy 15.09 €
Tarzan, Conqueror of Mars Romas Kukalis / Buch Broschur
common.buy 22.29 €
The Treasury of Knowledge and Library Reference Samuel Maunder / Buch Broschur
common.buy 34.89 €
Understanding Gangs and Gang Violence in America MORALES / Buch Broschur
common.buy 119.49 €
KS2 Maths Daily Practice Book: Year 3 - Autumn Term CGP Books / Buch Broschur
common.buy 7.79 €
ADVERTISING CONCEPT COPY FELTON / Buch Buch
common.buy 81.99 €
Love Wins Elizabeth Martin / E-Book Adobe ePub DRM
common.buy 3.79 €
Heidegger-Nietzsche-Gurdjieff-Daumal-Artaud-Lovecraft ... R E V E A L E D Odnanidref Obros / Buch Broschur
common.buy 122.89 €
Quality Analysis and Packaging of Seafood Products Ashutosh Kumar Shukla / Buch Broschur
common.buy 189.09 €

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?