Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Alastair Donaldson
Libristo kód: 01661641
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červenec 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Celý popis
? points 109 b
1 088 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Oeuvres Completes de Diderot: Revues Sur Les Ed. Originales. T 19 (Ed.1875-1877) Diderot D / Kniha Brožovaná
common.buy 765 Kč
Cuerpo de Auxilio Judicial de la Administración de Justicia. Temario Volumen 2 Dorado Picón / Kniha Brožovaná
common.buy 1 074 Kč
Krabben Günter Pump / Kniha Pevná
common.buy 194 Kč
Veselý vlak - Nálepky do vane neuvedený autor / Tiskovina Karty
common.buy 248 Kč
Polnische Ostseeküste Wolfgang Kling / Kniha Brožovaná
common.buy 327 Kč
FAUNO Cristina Lobo / Kniha Brožovaná
common.buy 490 Kč
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Kniha Brožovaná
common.buy 651 Kč
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Kniha Brožovaná
common.buy 369 Kč
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Kniha Brožovaná
common.buy 774 Kč
Ganz normale Bürger David King / Kniha Pevná
common.buy 501 Kč
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Kniha Brožovaná
common.buy 308 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Alastair Donaldson, David Parker
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 261
EAN 9783642317583
ISBN 3642317588
Libristo kód 01661641
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 421
Rozměry 155 x 235 x 15

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Begegnung Mit Der Vergangenheit Alberto Giacometti / Kniha Pevná
common.buy 2 707 Kč
Esther's Tooth: Judge Ortega investigates Mike Thomas / Kniha Brožovaná
common.buy 341 Kč
The Fulcrum Files Mark Chisnell / Kniha Brožovaná
common.buy 362 Kč
Trapped Under the Sea Neil Swidey / Kniha Brožovaná
common.buy 428 Kč
Miss Pardoe's Complete Works 1806-1862 Pardoe / Kniha Pevná
common.buy 1 054 Kč
Stories from Mother's Note Book Lucy Tonge / Kniha Pevná
common.buy 728 Kč
Sanctuary of Demeter and Kore Nancy Bookidis / Kniha Pevná
common.buy 3 987 Kč
Methane and its Derivatives Sunggyu Lee / Kniha Pevná
common.buy 10 833 Kč
Restraining Rage William Vernon Harris / Kniha Brožovaná
common.buy 1 088 Kč
Why America's Public Schools Are the Best Place for Kids Dave F. Brown / Kniha Pevná
common.buy 2 640 Kč
Integration Through Foreign Direct Investment Gábor Hunya / Kniha Pevná
common.buy 4 045 Kč
Last Generation of the Roman Republic Gruen / Kniha Brožovaná
common.buy 1 090 Kč
Everything we do is music Barry Russell / Kniha Brožovaná
common.buy 797 Kč
International Climate Change Law Daniel Bodansky / Kniha Brožovaná
common.buy 2 096 Kč
Music and Technology: A Very Short Introduction Katz / Kniha Brožovaná
common.buy 225 Kč
Cracked James Davies / Kniha Brožovaná
common.buy 307 Kč
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Kniha Pevná
common.buy 4 314 Kč
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Kniha Brožovaná
common.buy 267 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?