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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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.

Model Checking Software

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Model Checking Software Alastair Donaldson
Koda Libristo: 01661641
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julij 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Celoten opis
? points 109 b
45.04 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Krabben Günter Pump / Knjiga Trda
common.buy 7.99 €
Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Knjiga Mehka
common.buy 31.68 €
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Knjiga Mehka
common.buy 40.89 €
Analisi del (dis)comfort termico e sue implicazioni pedagogiche Juv?ncio Olinda Jo?o Macovela / Knjiga Mehka
common.buy 25.20 €
Veselý vlak - Nálepky do vane neuvedený autor / Tiskani izdelki Karte
common.buy 10.22 €
Polnische Ostseeküste Wolfgang Kling / Knjiga Mehka
common.buy 13.56 €
FAUNO Cristina Lobo / Knjiga Mehka
common.buy 20.24 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Knjiga Mehka
common.buy 26.92 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Knjiga Mehka
common.buy 15.28 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Knjiga Mehka
common.buy 31.98 €
Ganz normale Bürger David King / Knjiga Trda
common.buy 18.52 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Knjiga Mehka
common.buy 12.75 €

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.

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 Model Checking Software
Avtor Alastair Donaldson, David Parker
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2012
Število strani 261
EAN 9783642317583
ISBN 3642317588
Koda Libristo 01661641
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 421
Mere 155 x 235 x 15

Kategorije

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

Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Knjiga Trda
common.buy 114.90 €
Hidden Dungeon Only I Can Enter (Manga) Vol. 1 Tomoyuki Hino / Knjiga Mehka
common.buy 10.01 €
Equivalence and Literary Translation. Short Introduction to the Translation Studies Marta Zapala-Kraj / Knjiga Mehka
common.buy 23.58 €
Trapped Under the Sea Neil Swidey / Knjiga Mehka
common.buy 17.71 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Knjiga Trda
common.buy 43.62 €
Stories from Mother's Note Book Lucy Tonge / Knjiga Trda
common.buy 30.06 €
Sanctuary of Demeter and Kore Nancy Bookidis / Knjiga Trda
common.buy 172.81 €
Music and Technology: A Very Short Introduction Katz / Knjiga Mehka
common.buy 10.01 €
Poetical Works of John Dryden. with Life and Critical Dissertation [By George Gilfillan]. the Text Edited by Charles Cowden Clarke. Charles Cowden Clarke / Knjiga Mehka
common.buy 23.58 €
A treatise on the improvement of canal navigation; ... Illustrated with seventeen plates. By R. Fulton, ... Robert Fulton / Knjiga Mehka
common.buy 17.40 €
Methane and its Derivatives Sunggyu Lee / Knjiga Trda
common.buy 448.08 €
Restraining Rage William Vernon Harris / Knjiga Mehka
common.buy 45.04 €
Begegnung Mit Der Vergangenheit Alberto Giacometti / Knjiga Trda
common.buy 102.24 €
Integration Through Foreign Direct Investment Gábor Hunya / Knjiga Trda
common.buy 151.35 €
Classification and Cognition William K. Estes / Knjiga Mehka
common.buy 51.22 €
Last Generation of the Roman Republic Gruen / Knjiga Mehka
common.buy 47.07 €
Everything we do is music Barry Russell / Knjiga Mehka
common.buy 30.06 €
International Climate Change Law Daniel Bodansky / Knjiga Mehka
common.buy 88.27 €
The Fulcrum Files Mark Chisnell / Knjiga Mehka
common.buy 14.97 €
Esther's Tooth: Judge Ortega investigates Mike Thomas / Knjiga Mehka
common.buy 14.06 €
Cracked James Davies / Knjiga Mehka
common.buy 13.05 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Knjiga Trda
common.buy 178.48 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Knjiga Mehka
common.buy 11.03 €

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?