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.49 €
phone Kontakt phoneWie einkaufen

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Integrated Formal Methods Erika Ábrahám
Libristo-Code: 02975401
Verlag Springer International Publishing AG, Mai 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Vollständige Beschreibung
? points 210 b
85.89 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Buch Broschur
common.buy 13.99 €
Entre chiens et loups Méndez / Buch Broschur
common.buy 18.79 €
Demnächst Neu
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Buch Broschur
common.buy 30.79 €
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-Book Adobe ePub DRM
common.buy 67.89 €
Atrás Da Muralha / Buch Broschur
common.buy 15.39 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-Book Adobe ePub DRM
common.buy 17.09 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Buch Broschur
common.buy 27.95 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Buch Broschur
common.buy 28.19 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Buch Hardcover
common.buy 21.39 €
Du matériau à l'architecture László Moholy-Nagy / Buch Broschur
common.buy 40.39 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Buch Broschur
common.buy 160.29 €
AMETS POLITAK IZAN, MAITEA AA VV / Buch Hardcover
common.buy 10.09 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Buch Broschur
common.buy 14.99 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Buch Broschur
common.buy 15.99 €

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Integrated Formal Methods
Autor Erika Ábrahám, Marieke Huisman
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2016
Anzahl der Seiten 538
EAN 9783319336923
ISBN 3319336924
Libristo-Code 02975401
Verlag Springer International Publishing AG
Gewicht 8248
Abmessungen 155 x 235 x 29

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

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Buch Hardcover
common.buy 59.19 €
Inhuman Relations Scott Becker / Buch Broschur
common.buy 20.09 €
Championship DNA Gideon Mulinge Mwololo / Buch Broschur
common.buy 20.09 €
Return to Social Justice Jessica Urwin / Buch Broschur
common.buy 127.19 €
A Soldier's Daughter (Illustrated) G. A. Henty / Buch Broschur
common.buy 6.99 €
History of the Fishes of the British Islands Jonathan Couch / Buch Broschur
common.buy 24.29 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Buch Broschur
common.buy 36.89 €
Submissionary Sherryle Kiser Jackson / Buch Broschur
common.buy 15.39 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Buch Hardcover
common.buy 33.69 €
Preparing for Blockade 1885-1914 COBB / Buch Broschur
common.buy 85.09 €
Gerrit Smith Octavius Brooks Frothingham / Buch Hardcover
common.buy 62.79 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Buch Broschur
common.buy 17.09 €
Information Processing in Medical Imaging Alan C. F. Colchester / Buch Broschur
common.buy 107.29 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Buch Hardcover
common.buy 16.09 €
Global Legal Pluralism Paul Schiff Berman / Buch Broschur
common.buy 71.19 €
Housekeepers Handy Book Lucia Baxter / Buch Broschur
common.buy 18.89 €
International Law Reports E. LauterpachtC. J. Greenwood / Buch Hardcover
common.buy 231.99 €

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?