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
phone Kapcsolat phoneHogyan vásároljunk
Tájékoztatjuk kedves Vásárlóinkat, hogy az ügyfélszolgálat az állami ünnep végett nem elérhető. Megértésüket köszönjük.

Model Checking Software

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Bernd Fischer
Libristo kód: 09486332
Kiadó Springer International Publishing AG, augusztus 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Teljes leírás
? points 168 b
26 358 Ft
Beszállítói készleten alacsony példányszámban Küldés 14-18 napon belül

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

Ezt is ajánljuk

Treasures from Juniper Ridge Padmasambhava Rinpoche / Puha kötésű
common.buy 6 807 Ft
Psychotherapy of the Disorders of the Self M. D. James F. Masterson / Puha kötésű
common.buy 29 043 Ft
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Puha kötésű
common.buy 3 935 Ft
History and Development of the Arabic Language Mohamed El-Sharkawi / Puha kötésű
common.buy 28 587 Ft
Complete Peter Pan James Matthew Barrie / Puha kötésű
common.buy 6 681 Ft
Cultural Factors Promoting Streetism Mwangi Martin / Puha kötésű
common.buy 22 172 Ft
Blending Leadership Stephen Valentine / Puha kötésű
common.buy 9 236 Ft
Unsub Divya Victor / Puha kötésű
common.buy 4 703 Ft
Jardin Des Cultures Guyanaises Buland-F / Puha kötésű
common.buy 26 754 Ft
Encyclopedia of Crime and Punishment Wesley G. Jennings / Kemény kötésű
common.buy 252 958 Ft
Introduction to Coastal Issues and Management Barman Nilay Kanti / Puha kötésű
common.buy 32 492 Ft
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Puha kötésű
common.buy 7 464 Ft

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Bernd Fischer, Jaco Geldenhuys
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2015
Oldalszám 319
EAN 9783319234038
ISBN 331923403X
Libristo kód 09486332
Kiadó Springer International Publishing AG
Súly 5153
Méretek 155 x 235 x 20

Kategória

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épes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
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