A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Jaco C. van de Pol
Libristo kód: 01656755
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, szeptember 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Teljes leírás
? points 152 b
22 286 Ft
Beszállítói készleten Küldés 9-15 napon belül

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

A vásárlók ilyet vásároltak

Star Wars Hidden Empire T02 / Könyv Puha kötésű
common.buy 7 689 Ft
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Naptár/Határidőnapló Naptár
common.buy 20 861 Ft
Be Kind (Nepali-English) Livia Lemgruber / Könyv Puha kötésű
common.buy 6 676 Ft
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Naptár/Határidőnapló Határidőnapló
common.buy 3 845 Ft
Den Libanon lieben lernen Laura Ziegler / Könyv Puha kötésű
common.buy 2 859 Ft
Diamante Nero Victoria Quinn / Könyv Puha kötésű
common.buy 6 042 Ft
Die besten Aufstriche selbst gemacht Charly Till / Könyv Puha kötésű
common.buy 3 359 Ft
Textanfänge Ulrike Krieg-Holz / Könyv Puha kötésű
common.buy 18 192 Ft
Raketa Hravá kniha pro děti collegium / Könyv Puha kötésű
common.buy 4 548 Ft
Nach dem bewaffneten Kampf Angelika Holderberg / Könyv Puha kötésű
common.buy 3 711 Ft
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Könyv Puha kötésű
common.buy 5 223 Ft
Uzniki Razuma Tat'yana Volkova / Könyv Puha kötésű
common.buy 20 348 Ft

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Jaco C. van de Pol, Michael Weber
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 263
EAN 9783642161636
ISBN 3642161634
Libristo kód 01656755
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 421
Méretek 159 x 235 x 18

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Algoritmusok és adatszerkezetek
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éptudomány matematikai elmélete
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
Számítástechnika és információtechnológia > Operációs rendszerek
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

Ezt is ajánljuk

Sword Song Sal Quartuccio / Könyv Puha kötésű
common.buy 7 264 Ft
Myofascial Induction (TM) Andrzej Pilat / Könyv Kemény kötésű
common.buy 56 542 Ft
Down the Highway: The Life of Bob Dylan Howard Sounes / Könyv Puha kötésű
common.buy 6 736 Ft
The Shadow Lily Johanna Mo / Könyv Puha kötésű
common.buy 5 177 Ft
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Könyv Puha kötésű
common.buy 2 596 Ft
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Könyv Puha kötésű
common.buy 5 237 Ft
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Könyv Puha kötésű
common.buy 2 892 Ft
History of Wyoming; Volume 1 Ichabod S. Bartlett / Könyv Puha kötésű
common.buy 12 103 Ft
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Könyv Puha kötésű
common.buy 5 621 Ft
Shadowless Alison Robinson / Könyv Kemény kötésű
common.buy 7 028 Ft
Harbor Knight Ralph A Garcia / Könyv Puha kötésű
common.buy 6 163 Ft
Best Is Always... Still Yet to Come! Keith Payne / Könyv Puha kötésű
common.buy 6 718 Ft
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Könyv Kemény kötésű
common.buy 16 813 Ft
Tour to London Pierre Jean Grosley / Könyv Puha kötésű
common.buy 9 656 Ft
Boxer's Bible of Counterpunching Mark Hatmaker / Könyv Puha kötésű
common.buy 4 432 Ft

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