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

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Dragan Bosnacki
Libristo kód: 01568802
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2007
This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Teljes leírás
? points 125 b
18 730 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

Grundlinien der Philosophie D. Fr. Ast / Könyv Puha kötésű
common.buy 18 116 Ft
Les 100 meilleures recettes pour mamans & papas pressés Solveig Darrigo-Dartinet / Könyv Puha kötésű
common.buy 3 624 Ft
LES PEINTURES Beeckman / Könyv Puha kötésű
common.buy 4 092 Ft
Perception des etudiants universitaires a l'egard de leurs pairs handicapes Andrea Elisa Salas Hoyos / Könyv Puha kötésű
common.buy 14 142 Ft
Das Quiz für Besserwisser I ab 10 Jahren / Könyv Kemény kötésű
common.buy 2 216 Ft
Telekomunikácie pre 3. roč. SPŠ, 2. časť, ŠO elektrotechnika Stanislav Servátka / Könyv Puha kötésű
common.buy 13 079 Ft
Ötanazi Okulu 1 Ciltli / Könyv Puha kötésű
common.buy 7 910 Ft
Moć uspješnog poslovanja – Savršen recept za poslovni uspjeh Danny Meyer / Könyv Puha kötésű
common.buy 9 261 Ft
Pasta Masterclass Wiebke Krabbe / Könyv Kemény kötésű
common.buy 10 069 Ft
Krevní banka Tanya Huffová / Könyv Puha kötésű
common.buy 2 967 Ft
Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus / Könyv Puha kötésű
common.buy 15 612 Ft
LA SABIDURíA DE LAS AVES TIM BIRKHEAD / Könyv Puha kötésű
common.buy 11 940 Ft
Senzibil Markéta Pilátová / Könyv Kemény kötésű
common.buy 4 347 Ft
Tableau de la France en 1614, la France et la royauté avant Richelieu Gabriel Hanotaux / Könyv Puha kötésű
common.buy 10 145 Ft
Premium Touren. Ein schöner Tag wandern Ulrike Poller / Könyv Puha kötésű
common.buy 6 426 Ft
Toplistás
Practice Makes Perfect: Basic German, Premium Second Edition Jolene Wochenske / Könyv Puha kötésű
common.buy 5 377 Ft
La historia de Ana Zeppelin: Tomo 1 Giselle Murillo / Könyv Puha kötésű
common.buy 3 463 Ft
Olcsón
Raphael und Pinturicchio in Siena August Schmarsow / Könyv Puha kötésű
common.buy 1 843 Ft
Sally y la maldición del rubí PULLMAN / Könyv Puha kötésű
common.buy 2 594 Ft
La psicología en la escuela Delval / Könyv Puha kötésű
common.buy 6 100 Ft
Datenmodellierung: Theorie und Praxis des Datenbankentwurfs Günther Vinek / Könyv Puha kötésű
common.buy 20 904 Ft

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

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 Edelkamp
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2007
Oldalszám 285
EAN 9783540733690
ISBN 3540733698
Libristo kód 01568802
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 462
Méretek 155 x 235 x 17

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

Ezt is ajánljuk

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah / Könyv Puha kötésű
common.buy 5 812 Ft
First Man Simon Schwartz / Könyv Kemény kötésű
common.buy 13 740 Ft
Islam in Turkey Frances Hawker / Könyv Puha kötésű
common.buy 3 355 Ft
What You Really Need to Know for the Second Half of Life: Protect Your Family! Julieanne E. Steinbacher / Könyv Puha kötésű
common.buy 5 127 Ft
Facebook Marketing Guide for Beginners Steven Murphy / Könyv Puha kötésű
common.buy 4 824 Ft
Drug And Disease Free Michael Broder / Könyv Puha kötésű
common.buy 3 955 Ft
Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner / Könyv Kemény kötésű
common.buy 29 924 Ft
Spelling and Dictation Class-Book Anonymous / Könyv Puha kötésű
common.buy 6 053 Ft
Around the World in 80 Days Jules Verne / Könyv Puha kötésű
common.buy 3 085 Ft
Toplistás
Mercedes-Benz 190 Service And Repair Manual Haynes Publishing / Könyv Puha kötésű
common.buy 13 154 Ft
Jumbo the Elephant: The Life and Legacy of History's Most Famous Circus Animal Charles River Editors / Könyv Puha kötésű
common.buy 4 149 Ft
LibreOffice 6.0 Writer Guide LibreOffice Documentation Team / Könyv Puha kötésű
common.buy 12 526 Ft
Durarara!!, Vol. 12 (light novel) Ryohgo Narita / Könyv Puha kötésű
common.buy 5 604 Ft
Handbook of Research on Microfinancial Impacts on Women Empowerment, Poverty, and Inequality Ramesh Chandra / E-könyv Adobe ePub DRM
common.buy 135 392 Ft
Centroeuropa Vincente Luis Mora / Könyv Puha kötésű
common.buy 4 583 Ft
Clinical Oral Pathology Nabil Kochaji / Könyv Kemény kötésű
common.buy 39 766 Ft
LEARN VIETNAMESE WITH WORD SEARCH PUZZLES FOR ADULTS - Discover How to Improve Foreign Language Skills with a Fun Vocabulary Builder. Find 2000 Words LINGUA CLASSICS / Könyv Puha kötésű
common.buy 4 824 Ft
Butch Heterosexuality in Black Caribbean Womanhood Marsha Myrie Obi / Könyv Kemény kötésű
common.buy 30 013 Ft
Space Warfare in the 21st Century Joan Johnson-Freese / Könyv Puha kötésű
common.buy 22 761 Ft
Breaking the Silence : Little Rock's Women's Emergency Committee to Open Our Sara Alderman Murphy / Könyv Kemény kötésű
common.buy 19 316 Ft
Contact! Bob Tuxford / Könyv Kemény kötésű
common.buy 12 106 Ft
MOD Richard Weight / Könyv Puha kötésű
common.buy 6 190 Ft
Icons of Graphic Design Steven Heller / Könyv Puha kötésű
common.buy 14 548 Ft
Peer Instruction: Pearson New International Edition Eric Mazur / Könyv Puha kötésű
common.buy 36 123 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?