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 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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 69.09 €
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Buch Broschur
common.buy 30.79 €
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 €
Günstig
Poutine, maître du jeu ? Baud / Buch Buch
common.buy 17.99 €
Entre chiens et loups Méndez / Buch Broschur
common.buy 18.69 €
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.29 €
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Buch Broschur
common.buy 13.99 €
AMETS POLITAK IZAN, MAITEA AA VV / Buch Hardcover
common.buy 10.09 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Buch Broschur
common.buy 160.29 €
USA King Crimson Audio Audio CD
common.buy 22.09 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Buch Broschur
common.buy 14.99 €
Wild Hubert Krenn / Buch Hardcover
common.buy 15.59 €
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 €
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Buch Broschur
common.buy 15.29 €
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 €
Housekeepers Handy Book Lucia Baxter / Buch Broschur
common.buy 18.89 €
Of Time and Tide Malleus Maleficarum Jr / Buch Broschur
common.buy 13.69 €
Demnächst
International Law Reports E. LauterpachtC. J. Greenwood / Buch Hardcover
common.buy 176.49 €
14 Minutes Alberto Salazar / Buch Broschur
common.buy 13.99 €
Global Legal Pluralism Paul Schiff Berman / Buch Broschur
common.buy 71.19 €
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Buch Broschur
common.buy 17.09 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Buch Hardcover
common.buy 16.09 €
Information Processing in Medical Imaging Alan C. F. Colchester / Buch Broschur
common.buy 107.29 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Buch Broschur
common.buy 17.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?