Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Jaco C. van de Pol
Libristo kód: 01656755
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Celý popis
? points 136 b
56.11 €
Skladom u dodávateľa Odosielame za 14-21 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 54.29 €
In den Tropen - Ein Blick in die tropische Klimazone (Tischkalender 2026 DIN A5 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 18.73 €
Odnaleziony Coben Harlan / Kniha Brožovaná
common.buy 9.21 €
Star Wars Hidden Empire T02 / Kniha Brožovaná
common.buy 21.47 €
Pripravujeme
JANE GOODALL / Kniha Pevná
common.buy 27.04 €
Fame and Fortune TM Smith / E-kniha Adobe ePub DRM
common.buy 5.46 €
Top
PUZZLE 1000 Witraż Zwierzęta 10957 / Hra/Hračka Puzzle
common.buy 6.47 €
Be Kind (Nepali-English) Livia Lemgruber / Kniha Brožovaná
common.buy 16.60 €
Las Grandes Batallas Navales 10. La Hougue JEAN-YVES DELITTE / Kniha Brožovaná
common.buy 18.33 €
Shame - 368000 km pour découvrir... mon histoire volée par MK2 production Wild / Kniha Brožovaná
common.buy 18.12 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendár/Diár Diár
common.buy 10.63 €
Den Libanon lieben lernen Laura Ziegler / Kniha Brožovaná
common.buy 7.38 €
Sofiin svět Jostein Gaarder / Audio Audio CD
common.buy 11.94 €
Diamante Nero Victoria Quinn / Kniha Brožovaná
common.buy 14.98 €
Die besten Aufstriche selbst gemacht Charly Till / Kniha Brožovaná
common.buy 8.60 €
Textanfänge Ulrike Krieg-Holz / Kniha Brožovaná
common.buy 47.10 €
Raketa Hravá kniha pro děti collegium / Kniha Brožovaná
common.buy 9.72 €
Kvalita software Petr Roudenský / Kniha Brožovaná
common.buy 8.09 €
El estado de las gastronomías González de Heredia Garaygordobil / Kniha Brožovaná
common.buy 24.81 €
Nach dem bewaffneten Kampf Angelika Holderberg / Kniha Brožovaná
common.buy 9.61 €
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Kniha Brožovaná
common.buy 12.45 €
Uzniki Razuma Tat'yana Volkova / Kniha Brožovaná
common.buy 52.47 €

This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Checking Software, SPIN 2010, held at the§University of Twente, in Enschede, The Netherlands, in September 2010.§The 13 revised full papers presented together with 2 tool papers and 3§invited talks were carefully reviewed and selected from 33 submissions.§The papers are organized in topical sections on satisfiability modulo§theories for model checking, model checking in context (simulation,§testing, UML), implementation and performance of model checking, LTL and Büchi automata, extensions to infinite-state systems, and concurrent§software.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software
Autor Jaco C. van de Pol, Michael Weber
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 263
EAN 9783642161636
ISBN 3642161634
Libristo kód 01656755
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 421
Rozmery 159 x 235 x 18

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Algoritmy a dátové štruktúry
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Dynamic Stochastic Optimization K. Marti / Kniha Brožovaná
common.buy 103.12 €
Artificial Intelligence Applications and Innovations Lazaros S. Iliadis / Kniha Brožovaná
common.buy 103.12 €
Boxer's Bible of Counterpunching Mark Hatmaker / Kniha Brožovaná
common.buy 10.63 €
Myofascial Induction (TM) Andrzej Pilat / Kniha Pevná
common.buy 157.31 €
The Shadow Lily Johanna Mo / Kniha Brožovaná
common.buy 13.16 €
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Kniha Brožovaná
common.buy 6.78 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Kniha Brožovaná
common.buy 12.96 €
Top
Down the Highway: The Life of Bob Dylan Howard Sounes / Kniha Brožovaná
common.buy 16.20 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Kniha Brožovaná
common.buy 7.18 €
Statistical Mechanics of Neural Networks Huang / Kniha Brožovaná
common.buy 154.58 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Kniha Brožovaná
common.buy 30.08 €
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Kniha Brožovaná
common.buy 13.87 €
Shadowless Alison Robinson / Kniha Pevná
common.buy 16.91 €
Harbor Knight Ralph A Garcia / Kniha Brožovaná
common.buy 14.78 €
Best Is Always... Still Yet to Come! Keith Payne / Kniha Brožovaná
common.buy 16.20 €
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Kniha Pevná
common.buy 41.83 €
Adventures of Doctor Chess A Student / Kniha Brožovaná
common.buy 22.68 €
Tour to London Pierre Jean Grosley / Kniha Brožovaná
common.buy 25.82 €
Sword Song Sal Quartuccio / Kniha Brožovaná
common.buy 19.34 €
Causal Analysis with Panel Data Steven Eric Finkel / Kniha Brožovaná
common.buy 27.65 €
Pediatric Practice Neurology Carney / Kniha Pevná
common.buy 161.57 €
Garden to Dye For Chris McLaughlin / Kniha Pevná
common.buy 14.78 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?