Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Integrated Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Integrated Formal Methods Erika Ábrahám
Libristo kod: 02975401
Nakladnici Springer International Publishing AG, svibanj 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Cijeli opis
? points 199 b
82.43 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Knjiga Meki uvez
common.buy 13.54 €
Entre chiens et loups Méndez / Knjiga Meki uvez
common.buy 17.39 €
Novo
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Knjiga Meki uvez
common.buy 28.62 €
Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-knjiga Adobe ePub DRM
common.buy 61.80 €
Atrás Da Muralha / Knjiga Meki uvez
common.buy 14.86 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-knjiga Adobe ePub DRM
common.buy 15.57 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Knjiga Meki uvez
common.buy 25.08 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Knjiga Meki uvez
common.buy 25.99 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Knjiga Tvrdi uvez
common.buy 20.52 €
Du matériau à l'architecture László Moholy-Nagy / Knjiga Meki uvez
common.buy 37.42 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Knjiga Meki uvez
common.buy 153.85 €
AMETS POLITAK IZAN, MAITEA AA VV / Knjiga Tvrdi uvez
common.buy 9.30 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Knjiga Meki uvez
common.buy 13.54 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Knjiga Meki uvez
common.buy 14.86 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Integrated Formal Methods
Autor Erika Ábrahám, Marieke Huisman
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2016
Broj stranica 538
EAN 9783319336923
ISBN 3319336924
Libristo kod 02975401
Nakladnici Springer International Publishing AG
Težina 8248
Dimenzije 155 x 235 x 29

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Knjiga Tvrdi uvez
common.buy 56.64 €
Inhuman Relations Scott Becker / Knjiga Meki uvez
common.buy 19.31 €
Championship DNA Gideon Mulinge Mwololo / Knjiga Meki uvez
common.buy 19.31 €
Return to Social Justice Jessica Urwin / Knjiga Meki uvez
common.buy 122.29 €
A Soldier's Daughter (Illustrated) G. A. Henty / Knjiga Meki uvez
common.buy 6.77 €
History of the Fishes of the British Islands Jonathan Couch / Knjiga Meki uvez
common.buy 23.26 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Knjiga Meki uvez
common.buy 35.50 €
Submissionary Sherryle Kiser Jackson / Knjiga Meki uvez
common.buy 14.86 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Knjiga Tvrdi uvez
common.buy 32.56 €
Preparing for Blockade 1885-1914 COBB / Knjiga Meki uvez
common.buy 82.53 €
Gerrit Smith Octavius Brooks Frothingham / Knjiga Tvrdi uvez
common.buy 60.79 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Knjiga Meki uvez
common.buy 16.48 €
Information Processing in Medical Imaging Alan C. F. Colchester / Knjiga Meki uvez
common.buy 102.97 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Knjiga Tvrdi uvez
common.buy 15.57 €
Global Legal Pluralism Paul Schiff Berman / Knjiga Meki uvez
common.buy 65.44 €
Housekeepers Handy Book Lucia Baxter / Knjiga Meki uvez
common.buy 18.10 €
International Law Reports E. LauterpachtC. J. Greenwood / Knjiga Tvrdi uvez
common.buy 223.95 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?