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

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Model Checking Software Corina S. Pasareanu
Libristo kód: 01650022
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, június 2009
This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Chec... Teljes leírás
? points 136 b
19 818 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

Comunidad Terapeutica Psicoanalitica de Estructura Multifamiliar oder Escuela de Familia Christina Keim / Könyv Puha kötésű
common.buy 16 564 Ft
Einf hrung in Die Sprachheilkunde J. Berendes / Könyv Puha kötésű
common.buy 18 533 Ft
Azúcar e intervención económica en España Martín Rodríguez / Könyv Puha kötésű
common.buy 8 947 Ft
Boko Haram : les mots d'une crise Henri Mbarkoutou Mahamat / Könyv Puha kötésű
common.buy 6 963 Ft
10 Dinge, die autistische Kinder ihren Eltern sagen möchten Ellen Notbohm / Könyv Puha kötésű
common.buy 7 631 Ft
La lucha continúa Tonya Sipes / Könyv Puha kötésű
common.buy 3 254 Ft
Panorama estratégico, 2006/2007 / Könyv Puha kötésű
common.buy 3 139 Ft
Fonti normative francescane Roberto Lambertini / Könyv Könyv
common.buy 31 291 Ft
benandanti. Una storia senza tempo Floreana Nativo / Könyv Puha kötésű
common.buy 4 188 Ft
Auswirkungen von Bodenbearbeitung und Mulchen auf den Ertrag von Mais Muhammad Ramzan / Könyv Puha kötésű
common.buy 18 915 Ft
Das inoffizielle Wednesday Zeichnen- und Kreativ-Buch Gecko Keck / Könyv Puha kötésű
common.buy 4 639 Ft
Eine Liebeserklärung an das Ruhrgebiet Clara Hofmann / Könyv Puha kötésű
common.buy 3 530 Ft
Lehrbuch der Experimentalphysik / Könyv Kemény kötésű
common.buy 34 324 Ft
Santa Biblia/ Holy Bible David Stoop / Könyv Puha kötésű
common.buy 10 420 Ft
Příběhy z temné komory Günter Grass / Könyv Kemény kötésű
common.buy 3 373 Ft
Handbuch der arabischen Dialekte Wolfdietrich Fischer / Könyv Puha kötésű
common.buy 17 806 Ft
Kärntner Auftragsvergabegesetz Michaela Schabus / Könyv Puha kötésű
common.buy 10 696 Ft
Klassische Boersenstrategien im Test Daniel Ruppert / Könyv Puha kötésű
common.buy 15 528 Ft
Internationale Hölderlin-Bibliographie / 1995-1996. II Materialband Werner P. Sohnle / Könyv Kemény kötésű
common.buy 22 054 Ft
Prakticheskij Russkij Yazyk v Situatsiyakh i Illyustratsiyakh G.G. Malyshev / Könyv Puha kötésű
common.buy 17 760 Ft
Werbeagenturen in der Politikvermittlung Simon Marschall / Könyv Puha kötésű
common.buy 21 175 Ft
Toplistás
Písanka 2 k Českému jazyku pro 2. ročník / Könyv Puha kötésű
common.buy 934 Ft
Lodz w PRL-u Ewa Niedzwiecka / Könyv Kemény kötésű
common.buy 7 474 Ft
Anticuerpos monoclonales : realidades y perspectivas Álvarez-Vallina / Könyv Puha kötésű
common.buy 16 651 Ft

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009.§The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

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ő Corina S. Pasareanu
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2009
Oldalszám 297
EAN 9783642026515
ISBN 3642026516
Libristo kód 01650022
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 474
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 > Szoftvermérnöki tudomány > Szoftvertesztelés és verifikáció
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é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

Ezt is ajánljuk

World Regional Geography (International Edition) Lydia Mihelic Pulsipher / E-könyv Adobe ePub DRM
common.buy 23 601 Ft
The Last of the Mohicans: Leatherstocking Tales #2 James Fenimore Cooper / Könyv Puha kötésű
common.buy 6 406 Ft
Hidden Closet's Book Of Short Stories Arlene R Crenshaw / Könyv Puha kötésű
common.buy 5 270 Ft
Covalent Counsel Anthony B Cosenza / Könyv Puha kötésű
common.buy 5 270 Ft
Unspeakable Failures of David Foster Wallace Clare Hayes-Brady / Könyv Kemény kötésű
common.buy 68 827 Ft
Handbook of Food Science and Technology 3 - Food Biochemistry and Technology Romain Jeantet / Könyv Kemény kötésű
common.buy 64 593 Ft
Untold Story Monica Ali / Hangoskönyv MP3
common.buy 9 297 Ft
Door Wide Open: A Beat Love Affair in Letters, 1957-1958 Jack Kerouac / Könyv Puha kötésű
common.buy 8 772 Ft
Letter from Point Clear Dennis McFarland / Könyv Puha kötésű
common.buy 7 852 Ft
Embattled Shrine: Jamestown in the Civil War David Riggs / Könyv Puha kötésű
common.buy 6 977 Ft
How Many? Cheryl Christian / Könyv Kemény kötésű
common.buy 2 775 Ft
Sense and Sensibility Jane Austen / E-könyv Adobe ePub DRM
common.buy 3 314 Ft
Manlihood: The 12 Pillars of Masculinity Kelsey Boudin / Könyv Puha kötésű
common.buy 5 661 Ft
Swann's Way: In Search of Lost Time #1 Proust Marcel / Könyv Puha kötésű
common.buy 7 764 Ft
Dagger John John (The Nightingale-Bamford School) Loughery / Könyv Kemény kötésű
common.buy 9 821 Ft
Catalogue of Type Specimens of Fossil Fishes in the Field Museum of Natural History Volume Fieldiana, Geology, New Series, No. 23 John Clay Bruner / Könyv Kemény kötésű
common.buy 11 326 Ft
Ten Poems for a Picnic Jacqueline Gabbitas / Könyv Puha kötésű
common.buy 2 876 Ft
How to Be a Freelance Solicitor PAUL BENNETT / Könyv Puha kötésű
common.buy 19 440 Ft
Phenomenology of Pentecostal Leadership Truls Akerlund / Könyv Kemény kötésű
common.buy 13 848 Ft
Spatial Conservation Prioritization Atte Moilanen / Könyv Puha kötésű
common.buy 40 413 Ft
Theatre and Museums Susan Bennett / Könyv Puha kötésű
common.buy 5 721 Ft
Reperes Pratiques Guillaume Bernard / Könyv Puha kötésű
common.buy 5 836 Ft
Botnets Heli Tiirmaa-Klaar / Könyv Puha kötésű
common.buy 19 818 Ft
Color for Knowledge Walter the Educator / Könyv Puha kötésű
common.buy 7 663 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?