Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Integrated Formal Methods

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Integrated Formal Methods Erika Ábrahám
Libristo-code: 02975401
Uitgeverij Springer International Publishing AG, mei 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Volledige beschrijving
? points 199 b
82.52 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Boek Gebonden (paperback)
common.buy 13.56 €
Entre chiens et loups Méndez / Boek Gebonden (paperback)
common.buy 18.22 €
Nieuw
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Boek Gebonden (paperback)
common.buy 29.86 €
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 65.30 €
Atrás Da Muralha / Boek Gebonden (paperback)
common.buy 14.88 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-book Adobe ePub DRM
common.buy 16.50 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Boek Gebonden (paperback)
common.buy 25.10 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Boek Gebonden (paperback)
common.buy 27.33 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Boek Gebonden (harde band)
common.buy 20.55 €
Du matériau à l'architecture László Moholy-Nagy / Boek Gebonden (paperback)
common.buy 39.18 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Boek Gebonden (paperback)
common.buy 154.01 €
AMETS POLITAK IZAN, MAITEA AA VV / Boek Gebonden (harde band)
common.buy 9.71 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Boek Gebonden (paperback)
common.buy 13.56 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Boek Gebonden (paperback)
common.buy 15.58 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Integrated Formal Methods
Auteur Erika Ábrahám, Marieke Huisman
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2016
Aantal pagina's 538
EAN 9783319336923
ISBN 3319336924
Libristo-code 02975401
Uitgeverij Springer International Publishing AG
Gewicht 8248
Afmetingen 155 x 235 x 29

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Boek Gebonden (harde band)
common.buy 56.70 €
Inhuman Relations Scott Becker / Boek Gebonden (paperback)
common.buy 19.33 €
Championship DNA Gideon Mulinge Mwololo / Boek Gebonden (paperback)
common.buy 19.33 €
Return to Social Justice Jessica Urwin / Boek Gebonden (paperback)
common.buy 122.42 €
A Soldier's Daughter (Illustrated) G. A. Henty / Boek Gebonden (paperback)
common.buy 6.77 €
History of the Fishes of the British Islands Jonathan Couch / Boek Gebonden (paperback)
common.buy 23.28 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Boek Gebonden (paperback)
common.buy 35.53 €
Submissionary Sherryle Kiser Jackson / Boek Gebonden (paperback)
common.buy 14.88 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Boek Gebonden (harde band)
common.buy 32.60 €
Preparing for Blockade 1885-1914 COBB / Boek Gebonden (paperback)
common.buy 82.62 €
Gerrit Smith Octavius Brooks Frothingham / Boek Gebonden (harde band)
common.buy 60.85 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Boek Gebonden (paperback)
common.buy 16.50 €
Information Processing in Medical Imaging Alan C. F. Colchester / Boek Gebonden (paperback)
common.buy 103.07 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Boek Gebonden (harde band)
common.buy 15.58 €
Global Legal Pluralism Paul Schiff Berman / Boek Gebonden (paperback)
common.buy 68.75 €
Housekeepers Handy Book Lucia Baxter / Boek Gebonden (paperback)
common.buy 18.12 €
International Law Reports E. LauterpachtC. J. Greenwood / Boek Gebonden (harde band)
common.buy 234.92 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?