Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Antti Valmari
Libristo kód: 01561845
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2006
This book constitutes the refereed proceedings of the 13th International SPIN workshop on Model Chec... Celý popis
? points 135 b
1 352 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Jean Lorrain, Narkiss Rééd. éd. du monument illustré par Guillonnet (1908) Lorrain / Kniha Brožovaná
common.buy 444 Kč
Mit Vollgas Weiter Die Jungen Klostertaler / Audio Audio CD
common.buy 408 Kč
Rupáner-konyha Rupáner-Gallé Margó / Kniha Pevná
common.buy 352 Kč
Kartouzský vězeň Mons. Jan Šrámek Virginie Marie Turzová / Kniha binding.
common.buy 209 Kč
Abgrenzung der Gewinnerzielungsabsicht von der steuerlichen Liebhaberei in der Forstwirtschaft / Kniha Brožovaná
common.buy 571 Kč
Fundamentos teóricos y jurídicos de la ordenación del territorio / Kniha Brožovaná
common.buy 550 Kč
Ueber den Optischen Mittelpunkt im Menschlichen Auge. Jakob Friedrich Fries / Kniha Brožovaná
common.buy 380 Kč
XXX xxx / Kniha Brožovaná
common.buy 189 Kč
Klick! Biologie, Physik, Chemie - Alle Bundesländer - Band 6 Catrin Nossek / Kniha List
common.buy 343 Kč
Scriptores rerum Prussicarum. Die Geschichtsquellen der Preussischen Vorzeit bis zum Untergange der Ordensherrschaft. Herausgegeben von T. Hirsch, M. Udo Arnold / Kniha Brožovaná
common.buy 837 Kč
Eroeffnungs-Manifest des ersten Dada-Abends in Zurich 1916 im Kontext der historischen Avantgarde und seiner subversiven Qualitaten Florian Höh / Kniha Brožovaná
common.buy 369 Kč
Planner Story Pavel Kosatík / Kniha Pevná
common.buy 24 Kč
Celulas-Tronco Capuano Vanessa Capuano / Kniha Brožovaná
common.buy 954 Kč
Corrales: Guia de Servicios Diego Molina Ruiz / Kniha Brožovaná
common.buy 142 Kč
La Mort Comme Effet Secondaire Shua / Kniha Brožovaná
common.buy 583 Kč
Grundlagen des Usability-Engineering Marcel Thum / Kniha Brožovaná
common.buy 369 Kč
SPUREN - Die Opfer des NSU / Video DVD
common.buy 435 Kč
STEAM+ Intégration des Arts: Perspectives et Applications Pratiques Jacqueline Cofield / Kniha Brožovaná
common.buy 444 Kč
Decirte adiós con un te quiero SILVIA CARPALLO / Kniha Brožovaná
common.buy 490 Kč
LED ZEPPELIN MICK WALL / Kniha Brožovaná
common.buy 742 Kč
Abraham l'Hebreu - Ministre de Dieu David Daniel Agou / Kniha Brožovaná
common.buy 548 Kč
Schäden an polymeren Beschichtungen. Robert Engelfried / Kniha Pevná
common.buy 1 053 Kč
Vengeful - Die Rache ist mein V. E. Schwab / Kniha Brožovaná
common.buy 356 Kč
Grossbuchstaben Geschichten 2 Sara Quast / Kniha Brožovaná
common.buy 131 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Model Checking Software
Autor Antti Valmari
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 308
EAN 9783540331025
ISBN 3540331026
Libristo kód 01561845
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1010
Rozměry 155 x 19 x 19

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Thirteenth Bullet Cotton Smith / Kniha Brožovaná
common.buy 168 Kč
Riveted Meljean Brook / Kniha Brožovaná
common.buy 465 Kč
Cadogan Guide Cairo, Luxor and Aswan Michael Haag / Kniha Brožovaná
common.buy 457 Kč
Bonsai: The Art of Growing and Keeping Miniature Trees Peter Chan / Kniha Brožovaná
common.buy 308 Kč
Nuclear Medicine Dibya Prakash / Kniha Brožovaná
common.buy 1 155 Kč
International Relations Theory Michael Haas / Kniha Pevná
common.buy 2 936 Kč
Spanish Notebook Christopher Buckley / Kniha Brožovaná
common.buy 362 Kč
Wages of Sin Kaite Welsh / Kniha Brožovaná
common.buy 337 Kč
Bible Study Guide -- Stand Strong; Building Your Life on God's Promises: Good Questions Have Small Groups Talking Josh Hunt / Kniha Brožovaná
common.buy 237 Kč
Handbook of Macroeconomics J B Taylor / Kniha Pevná
common.buy 3 399 Kč
Picasso Anna Coliva / Kniha Pevná
common.buy 1 101 Kč
Jokes for Kids: Silly Joke Book for Kids Ages 5-12 Playhouse Publishing / Kniha Brožovaná
common.buy 154 Kč
Dancing with Sophia Brian Schroeder / Kniha Brožovaná
common.buy 1 091 Kč
Beginner's Guide to Chinese Brush Painting Susan Self / Kniha Pevná
common.buy 225 Kč
Once Upon a Winter Tennant Tilly Tennant / Kniha Brožovaná
common.buy 271 Kč
Alphabet, Words and Numbers Tracing: Handwriting Practice Workbook for kids and toddlers, Preschool writing Workbook with Sight words and Numbers for Mb Education / Kniha Brožovaná
common.buy 174 Kč
Women, Stress, and Heart Disease Kristina Orth-Gomer / E-kniha Adobe ePub DRM
common.buy 1 896 Kč
Young ELI Readers - English Jane Cadwallader / Kniha Brožovaná
common.buy 203 Kč
Dark Psychology Sushmita Dutta / Kniha Brožovaná
common.buy 316 Kč
Top
The Charlie Method Elle Kennedy / Kniha Brožovaná
common.buy 303 Kč
Surgery for Parkinson's Disease Robert R. Goodman / Kniha Pevná
common.buy 1 155 Kč
New Advances on Disease Biomarkers and Molecular Targets in Biomedicine Nikki P. Lee / Kniha Pevná
common.buy 4 140 Kč
Advanced Dynamics and Control of Structures and Machines Hans Irschik / Kniha Brožovaná
common.buy 2 357 Kč
Writing Indian Nations Konkle / Kniha Brožovaná
common.buy 1 056 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet