phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Model Checking Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Alastair Donaldson
Libristo kód: 01661641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Celý popis
? points 200 b
79.80 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Cracked James Davies / Brožovaná
common.buy 12.80 €
Last Generation of the Roman Republic Gruen / Brožovaná
common.buy 52.15 €
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Pevná
common.buy 178.98 €
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Brožovaná
common.buy 24.81 €
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Brožovaná
common.buy 96.75 €
Miss Pardoe's Complete Works 1806-1862 Pardoe / Pevná
common.buy 48.82 €
Methane and its Derivatives Sunggyu Lee / Pevná
common.buy 443.74 €
Mapa ecoturístic de Catalunya Antoni Curcó Masip / Brožovaná
common.buy 15.93 €
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Brožovaná
common.buy 30.06 €
La Nuit: Imaginaire Et Realites Nocturnes Dans Le Monde Greco-Romain A. Chaniotis / Pevná
common.buy 72.23 €
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Brožovaná
common.buy 13.71 €
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Brožovaná
common.buy 37.32 €
Restraining Rage William Vernon Harris / Brožovaná
common.buy 49.83 €
GER-ARA PACIS AVGVSTAE George 1841 Niemann / Brožovaná
common.buy 27.13 €

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.

Informácie o knihe

Celý názov Model Checking Software
Autor Alastair Donaldson, David Parker
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 261
EAN 9783642317583
ISBN 3642317588
Libristo kód 01661641
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 421
Rozmery 155 x 235 x 15

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet