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

Formal Methods and Software Engineering

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Michael Butler
Libristo-Code: 09535572
Verlag Springer International Publishing AG, November 2015
This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... 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

More! Level 1 Presentation Plus DVD-ROM Herbert Puchta / Digital DVD
common.buy 91.10 €
Rival Truths Lindsay St Claire / Broschur
common.buy 54.78 €
de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J / Broschur
common.buy 16.34 €
Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales / Broschur
common.buy 32.58 €
Thermo-Hydraulics of Nuclear Reactors Christopher Earls Brennen / Hardcover
common.buy 51.25 €
Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski / Broschur
common.buy 25.21 €
American Game Fishes; Their Habits, Habitat and Peculiarities; / Hardcover
common.buy 45.90 €
Die Geschichte des Gil Blas von Santillana Alain René Le Sage / Broschur
common.buy 35.21 €
Auf dass wir klug werden Anja Zimmer / Broschur
common.buy 15.08 €
Chaplains of ANZAC Dr Jennifer Betham-Lang / Hardcover
common.buy 17.44 €
Biotechs A Schneider / Broschur
common.buy 14.12 €
Neurobrucellosis Mehmet Turgut / Hardcover
common.buy 128.63 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

Informationen zum Buch

Vollständiger Name Formal Methods and Software Engineering
Autor Michael Butler, Sylvain Conchon, Fatiha Za?di
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 436
EAN 9783319254227
ISBN 3319254227
Libristo-Code 09535572
Verlag Springer International Publishing AG
Gewicht 6964
Abmessungen 155 x 235 x 236

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
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
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