phone +36 1 6333 184
LIBRISTO 0
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft DPD 1 995 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS futár 1 590 Ft Packeta 990 Ft GLS pont 1 390 Ft
phone Kapcsolat phoneHogyan vásároljunk

Model Checking Software

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Alastair Donaldson
Libristo kód: 01661641
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, július 2012
This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on... Teljes leírás
? points 219 b
34 388 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-17 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Cracked James Davies / Puha kötésű
common.buy 5 083 Ft
Last Generation of the Roman Republic Gruen / Puha kötésű
common.buy 22 267 Ft
Fundamentals of Deformation and Fracture B. A. BilbyK. J. MillerJ. R. Willis / Kemény kötésű
common.buy 77 209 Ft
Methane and its Derivatives Sunggyu Lee / Kemény kötésű
common.buy 178 740 Ft
Auswirkung der Zensurengebung auf die Lernmotivation Benjamin Gill / Puha kötésű
common.buy 42 086 Ft
Memoirs of General Ulysses S. Grant, Part 3. Ulysses S. (Ulysses Simpson) Grant / Puha kötésű
common.buy 10 589 Ft
Miss Pardoe's Complete Works 1806-1862 Pardoe / Kemény kötésű
common.buy 21 103 Ft
La Nuit: Imaginaire Et Realites Nocturnes Dans Le Monde Greco-Romain A. Chaniotis / Kemény kötésű
common.buy 30 942 Ft
Ganz normale Bürger David King / Kemény kötésű
common.buy 8 232 Ft
Neue Erde Botschaften Von Erzengel Gabriel Arimea Ashanti / Puha kötésű
common.buy 5 416 Ft
Bedeutung der Grundrechte fur das Bildungssystem in der Bundesrepublik Deutschland Thorsten Lemmer / Puha kötésű
common.buy 17 058 Ft
Mapa ecoturístic de Catalunya Antoni Curcó Masip / Puha kötésű
common.buy 5 919 Ft
Restraining Rage William Vernon Harris / Puha kötésű
common.buy 21 264 Ft
Livre de Guillaume Le Maire (Ed.1874) Guillaume Le Maire / Puha kötésű
common.buy 12 922 Ft
GER-ARA PACIS AVGVSTAE George 1841 Niemann / Puha kötésű
common.buy 10 484 Ft

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áció a könyvről

Teljes megnevezés Model Checking Software
Szerző Alastair Donaldson, David Parker
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 261
EAN 9783642317583
ISBN 3642317588
Libristo kód 01661641
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 421
Méretek 155 x 235 x 15

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány > Szoftvertesztelés és verifikáció
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása