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

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Methods and Software Engineering Lindsay Groves
Libristo-Code: 02084745
Verlag Springer, Berlin, November 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Buch Broschur
common.buy 63.29 €
Diario sereto de Pulgarcito Philippe Lechermeier / Buch Broschur
common.buy 20.59 €
Organizacao familiar agricola Raquel Silvestrin Zanon / Buch Broschur
common.buy 31.59 €
Abgründe des Alltags Silja Kyrada / Buch Broschur
common.buy 7.99 €
Goebekli Tepe Harry Eilenstein / Buch Broschur
common.buy 32.80 €
JE COLORIE A L'INFINI - FERME Buch binding.
common.buy 9.49 €
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Buch Broschur
common.buy 29.49 €
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Buch Broschur
common.buy 64.19 €

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

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 Lindsay Groves, Jing Sun
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2013
Anzahl der Seiten 466
EAN 9783642412011
ISBN 3642412017
Libristo-Code 02084745
Verlag Springer, Berlin
Gewicht 735
Abmessungen 154 x 234 x 24

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

Das könnte Sie auch interessieren

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Buch Broschur
common.buy 51.09 €
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Buch Broschur
common.buy 7.99 €
Unwise Woman of Fuggis Mire Raven Dane / Buch Broschur
common.buy 17.19 €
Wineocology Caitlin Stansbury / Buch Broschur
common.buy 19.89 €
Ketchup with the Jessup's Carissa Bryant / Buch Broschur
common.buy 18.09 €
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833 Clay / Buch Hardcover
common.buy 25.09 €
Identity and Personhood Laurance Joseph Splitter / Buch Broschur
common.buy 51.09 €
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Buch Broschur
common.buy 13.09 €
Lonely Planet New Zealand Planet Lonely / Buch Broschur
common.buy 31.69 €
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Buch Hardcover
common.buy 192.19 €
Seven Black Diamonds Melissa Marr / Buch Broschur
common.buy 8.89 €
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Buch Hardcover
common.buy 142.29 €
Matzah Balls to Communion Wafers Gail Baker / Buch Hardcover
common.buy 26.29 €
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Buch Broschur
common.buy 13.59 €
Sun Wordsearch Book 8 The Sun / Buch Broschur
common.buy 9.49 €
Digital Marketing for Doctors Dibakar Bala / Buch Broschur
common.buy 13.19 €
Top
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Buch Broschur
common.buy 8.49 €
Top
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Buch Broschur
common.buy 3.89 €
Titanic Stephanie Barczewski / Buch Broschur
common.buy 34.29 €
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Buch Hardcover
common.buy 21.99 €
History of the Town of Belfast with ... a Statistical Survey of the Parish of Belfast, Etc. [By George Benn.] George Benn / Buch Broschur
common.buy 24.69 €
Mr Monster Dan Wells / Buch Broschur
common.buy 9.19 €
240 Best-ever Chilli Recipes Jenni Fleetwood / Buch Broschur
common.buy 9.19 €
Titanic 100th Anniversary Edition Stephanie Barczewski / Buch Broschur
common.buy 44.89 €

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?