Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Integrated Formal Methods

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Integrated Formal Methods Erika Ábrahám
Koda Libristo: 02975401
Založba Springer International Publishing AG, maj 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Celoten opis
? points 189 b
77.98 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Knjiga Mehka
common.buy 12.84 €
Entre chiens et loups Méndez / Knjiga Mehka
common.buy 16.58 €
Novo
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Knjiga Mehka
common.buy 27.30 €
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 58.36 €
Atrás Da Muralha / Knjiga Mehka
common.buy 14.25 €
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-knjiga Adobe ePub DRM
common.buy 14.76 €
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Knjiga Mehka
common.buy 23.56 €
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Knjiga Mehka
common.buy 24.77 €
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Knjiga Trda
common.buy 19.31 €
Du matériau à l'architecture László Moholy-Nagy / Knjiga Mehka
common.buy 35.70 €
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Knjiga Mehka
common.buy 145.56 €
AMETS POLITAK IZAN, MAITEA AA VV / Knjiga Trda
common.buy 8.79 €
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Knjiga Mehka
common.buy 12.74 €
Bettine von Arnim: Liedkompositionen Paul A Koch / Knjiga Mehka
common.buy 14.15 €

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

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Integrated Formal Methods
Avtor Erika Ábrahám, Marieke Huisman
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 538
EAN 9783319336923
ISBN 3319336924
Koda Libristo 02975401
Založba Springer International Publishing AG
Teža 8248
Mere 155 x 235 x 29

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Advances in Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Knjiga Trda
common.buy 53.40 €
Inhuman Relations Scott Becker / Knjiga Mehka
common.buy 18.40 €
Championship DNA Gideon Mulinge Mwololo / Knjiga Mehka
common.buy 18.40 €
Return to Social Justice Jessica Urwin / Knjiga Mehka
common.buy 115.81 €
A Soldier's Daughter (Illustrated) G. A. Henty / Knjiga Mehka
common.buy 6.36 €
History of the Fishes of the British Islands Jonathan Couch / Knjiga Mehka
common.buy 21.84 €
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Knjiga Mehka
common.buy 33.68 €
Submissionary Sherryle Kiser Jackson / Knjiga Mehka
common.buy 14.05 €
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Knjiga Trda
common.buy 30.94 €
Preparing for Blockade 1885-1914 COBB / Knjiga Mehka
common.buy 78.79 €
Gerrit Smith Octavius Brooks Frothingham / Knjiga Trda
common.buy 58.05 €
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Knjiga Mehka
common.buy 15.67 €
Information Processing in Medical Imaging Alan C. F. Colchester / Knjiga Mehka
common.buy 97.40 €
Jack Wilshere - Arsenal DNA Joe Jacobs / Knjiga Trda
common.buy 14.86 €
Global Legal Pluralism Paul Schiff Berman / Knjiga Mehka
common.buy 65.44 €
Housekeepers Handy Book Lucia Baxter / Knjiga Mehka
common.buy 17.19 €
International Law Reports E. LauterpachtC. J. Greenwood / Knjiga Trda
common.buy 213.33 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?