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

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch FM 2012: Formal Methods Dimitra Giannakopoulou
Libristo-Code: 01661952
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Vollständige Beschreibung
? points 125 b
51.62 €
Externes Lager Wir versenden in 5-8 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / E-Book Adobe ePub DRM
common.buy 6.56 €
Dárek z pouti Luboš Kafka / Buch Hardcover
common.buy 24.24 €
Postdata E.M.A / Buch Broschur
common.buy 16.86 €
Le Macon Demasque: Ou Le Vrai Secret Des Francs Masons (1751) Thomas Wilson / Buch Broschur
common.buy 23.23 €
Kapitan Żbik Porwanie Część 4 Praca zbiorowa / Buch Broschur
common.buy 3.02 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Buch Broschur
common.buy 55.05 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Buch Broschur
common.buy 13.53 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Buch Hardcover
common.buy 35.65 €
Mass Customization - Die Auswirkung des Individualisierungsgrades auf die Zahlungsbereitschaft Thomas Funke / Buch Broschur
common.buy 42.73 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Buch Broschur
common.buy 42.73 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 FM 2012: Formal Methods
Autor Dimitra Giannakopoulou, Dominique Mery
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 488
EAN 9783642327582
ISBN 3642327583
Libristo-Code 01661952
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 765
Abmessungen 155 x 235 x 28

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Th Thorium Robert G. Behrens / Buch Broschur
common.buy 621.84 €
Works of William H. Seward William Henry Seward / Buch Broschur
common.buy 36.56 €
Research Handbook on Political Representation Maurizio Cotta / Buch Hardcover
common.buy 286.92 €
Demnächst
Arduino Inventor's Guide Derek Runberg / Buch Broschur
common.buy 30.60 €
Race for Citizenship Helen Jun / Buch Broschur
common.buy 40.00 €
Dancing With Danger Byrne Kerrigan Byrne / Buch Broschur
common.buy 12.32 €
Top
Focus Daniel Goleman / Buch Broschur
common.buy 7.16 €
Whistleblowing at Work David Lewis / Buch Broschur
common.buy 119.11 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Buch Broschur
common.buy 308.04 €
Summer Session Number; 1910-13 University of Connecticut / Buch Broschur
common.buy 17.27 €
Life Behind Bars Gordon Culpin / Buch Broschur
common.buy 19.29 €
European Rural Landscapes H. Palang / Buch Hardcover
common.buy 205.49 €
New Inside Out Advanced Teachers DVD Book Sue Kay / Buch Broschur
common.buy 12.82 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Buch Hardcover
common.buy 70.00 €

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?