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 Antti Valmari
Libristo kód: 01561845
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Teljes leírás
? points 154 b
24 687 Ft
Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

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

Ezt is ajánljuk

Handbuch Der Waffenkunde Wendelin Boeheim / Puha kötésű
common.buy 38 729 Ft
Grundlagen des Usability-Engineering Marcel Thum / Puha kötésű
common.buy 18 798 Ft
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Puha kötésű
common.buy 7 206 Ft
Grossbuchstaben Geschichten 2 Sara Quast / Puha kötésű
common.buy 2 880 Ft
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Puha kötésű
common.buy 48 656 Ft
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 / Lap
common.buy 5 637 Ft
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Puha kötésű
common.buy 16 682 Ft
I Bedrövelsens Mörker/ Aus dem Dunkel der Trübsal Erik J. Stagnelius / Kemény kötésű
common.buy 12 361 Ft
Schäden an polymeren Beschichtungen. Robert Engelfried / Kemény kötésű
common.buy 17 501 Ft

This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Checking Software, SPIN 2006, held in Vienna, Austria in March/April 2006 as satellite event of ETAPS 2006. The 16 revised full papers presented together with three tool presentation papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections.

Információ a könyvről

Teljes megnevezés Model Checking Software
Szerző Antti Valmari
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2006
Oldalszám 308
EAN 9783540331025
ISBN 3540331026
Libristo kód 01561845
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1010
Méretek 155 x 19 x 19

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
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

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