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

Model Checking Software

19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Model Checking Software Alastair Donaldson
Libristo kod: 01661641
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Cijeli opis
? points 115 b
47.59 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Knjiga Meki uvez
common.buy 33.21 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Knjiga Meki uvez
common.buy 42.63 €
Krabben Günter Pump / Knjiga Tvrdi uvez
common.buy 8.60 €
Veselý vlak - Nálepky do vane neuvedený autor / Tiskanica Karte
common.buy 10.62 €
Polnische Ostseeküste Wolfgang Kling / Knjiga Meki uvez
common.buy 14.47 €
FAUNO Cristina Lobo / Knjiga Meki uvez
common.buy 21.26 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Knjiga Meki uvez
common.buy 28.25 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Knjiga Meki uvez
common.buy 16.20 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Knjiga Meki uvez
common.buy 34.02 €
Ganz normale Bürger David King / Knjiga Tvrdi uvez
common.buy 19.64 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Knjiga Meki uvez
common.buy 13.56 €

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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 Model Checking Software
Autor Alastair Donaldson, David Parker
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 261
EAN 9783642317583
ISBN 3642317588
Libristo kod 01661641
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 421
Dimenzije 155 x 235 x 15

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

Begegnung Mit Der Vergangenheit Alberto Giacometti / Knjiga Tvrdi uvez
common.buy 107.15 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Knjiga Meki uvez
common.buy 14.88 €
The Fulcrum Files Mark Chisnell / Knjiga Meki uvez
common.buy 15.79 €
Trapped Under the Sea Neil Swidey / Knjiga Meki uvez
common.buy 18.73 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Knjiga Tvrdi uvez
common.buy 45.87 €
Stories from Mother's Note Book Lucy Tonge / Knjiga Tvrdi uvez
common.buy 31.69 €
Sanctuary of Demeter and Kore Nancy Bookidis / Knjiga Tvrdi uvez
common.buy 172.88 €
Methane and its Derivatives Sunggyu Lee / Knjiga Tvrdi uvez
common.buy 469.03 €
Restraining Rage William Vernon Harris / Knjiga Meki uvez
common.buy 46.88 €
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Knjiga Tvrdi uvez
common.buy 114.95 €
Integration Through Foreign Direct Investment Gábor Hunya / Knjiga Tvrdi uvez
common.buy 159.41 €
Last Generation of the Roman Republic Gruen / Knjiga Meki uvez
common.buy 49.11 €
Everything we do is music Barry Russell / Knjiga Meki uvez
common.buy 31.49 €
International Climate Change Law Daniel Bodansky / Knjiga Meki uvez
common.buy 90.54 €
Music and Technology: A Very Short Introduction Katz / Knjiga Meki uvez
common.buy 10.62 €
Cracked James Davies / Knjiga Meki uvez
common.buy 13.97 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Knjiga Tvrdi uvez
common.buy 187.16 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Knjiga Meki uvez
common.buy 11.74 €

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?