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 gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 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

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Dragan Bosnacki
Libristo kód: 01564229
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, március 2002
"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Chec... Teljes leírás
? points 136 b
20 346 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

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

La Cascade Féerique, Audio-CD Michel Pépé / Hanganyagok Audio CD
common.buy 6 232 Ft
Tu eres mi heroe JUAN CARLOS CHANDRO RAMIREZ / Könyv Puha kötésű
common.buy 3 520 Ft
Dieter Kropp's Weihnachts-Liederbuch für die Mundharmonika (Blues Harp) in C-Dur, m. Audio-CD Dieter Kropp / Nyomtatványok Kotta
common.buy 7 281 Ft
Drum Hikatsu Tomomi / Könyv Puha kötésű
common.buy 15 777 Ft
Design Universal e a Terceira Idade Maria Goretti Fernandes Fernandes / Könyv Puha kötésű
common.buy 14 142 Ft
BilMoG und Interne Revision Alexander Hofem / Könyv Puha kötésű
common.buy 10 565 Ft
Erlebnis und Geschichte Edgar Feuchtwanger / Könyv Puha kötésű
common.buy 11 775 Ft
Új
Der gute Staat / Könyv Puha kötésű
common.buy 3 912 Ft

"This book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002.§The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system."

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ő Dragan Bosnacki, Stefan Leue
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2002
Oldalszám 262
EAN 9783540434771
ISBN 3540434771
Libristo kód 01564229
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 472
Méretek 155 x 235 x 16

Kategória

Számítástechnika és információtechnológia > Grafikus és digitális média > 3D grafika és modellezés
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

Ezt is ajánljuk

Performance of Pharmaceutical Companies in India Mainak Mazumdar / Könyv Kemény kötésű
common.buy 40 574 Ft
Strangers In Death J. D. Robb / Könyv Puha kötésű
common.buy 4 583 Ft
Hamarosan Új
These Shattered Spires Cassidy Ellis Salter / Könyv Puha kötésű
common.buy 4 059 Ft
Casualties Of Community Disorder Deborah Baskin / E-könyv Adobe ePub DRM
common.buy 28 365 Ft
Arduino Circuit Board Projects HandsOn: Coin Sorting Machine, Brilliant Restaurant Menu Ordering, your own Wi-Fi Repeater, Buzz Wire Game, Fan Speed C Ambika Parameswari K / Könyv Puha kötésű
common.buy 6 714 Ft
Picross Hanjie Griddlers Nonograms book Djape / Könyv Puha kötésű
common.buy 4 763 Ft
Color Copy Coloring Book - Learn to Color - The Easy Way Coloring Activity Books / Könyv Puha kötésű
common.buy 3 747 Ft
Toplistás Hamarosan
Dispossessed Ursula K. Le Guin / Könyv Puha kötésű
common.buy 3 643 Ft
Indictment of the American Clergy THOMAS WADE / Könyv Puha kötésű
common.buy 5 963 Ft
The Beach, mit 1 CD-ROM/Audio-CD. 1. Lernjahr Rick Sampedro / Könyv Puha kötésű
common.buy 4 569 Ft
Lilith: the Legend of the First Woman Ada Langworthy Collier / Könyv Puha kötésű
common.buy 7 565 Ft
The Queen's Gamble Barbara Kyle / Könyv Puha kötésű
common.buy 7 116 Ft
User's Guide to Propolis, Royal Jelly, Honey, and Bee Pollen C LEIGH BROADHURST / Könyv Kemény kötésű
common.buy 6 577 Ft
French & Indian War Novels Joseph A. Altsheler / Könyv Kemény kötésű
common.buy 16 798 Ft
Marriages and Deaths from Mississippi Newspapers Betty C Wiltshire / Könyv Puha kötésű
common.buy 10 546 Ft
Modern Monetary Theory M.L. Burstein / Könyv Puha kötésű
common.buy 42 629 Ft
Critical Dictionary of the French Revolution Francois Furet / Könyv Kemény kötésű
common.buy 82 003 Ft
Secret Garden (Penguin Classics Deluxe Edition) Frances Hodgson Burnett / Könyv Könyv
common.buy 5 543 Ft
For Derrida J. Hillis Miller / Könyv Puha kötésű
common.buy 21 593 Ft
Quantum Fractals: From Heisenberg's Uncertainty To Barnsley's Fractality Arkadiusz Jadczyk / Könyv Kemény kötésű
common.buy 53 369 Ft
Power to the Patient Atlas / Könyv Puha kötésű
common.buy 4 961 Ft
Social Structure Charles Crothers / Könyv Kemény kötésű
common.buy 91 236 Ft
Esther West. a Story. with Twenty-Four Illustrations. Isa Craig / Könyv Puha kötésű
common.buy 10 324 Ft
Forever Words James Garvin / Könyv Puha kötésű
common.buy 5 155 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
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?