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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2010
This book constitutes the refereed proceedings of the 17th International§SPIN workshop on Model Chec... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Star Wars Hidden Empire T02 / Kniha Brožovaná
common.buy 524 Kč
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendář/Diář Kalendář
common.buy 1 243 Kč
Be Kind (Nepali-English) Livia Lemgruber / Kniha Brožovaná
common.buy 402 Kč
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendář/Diář Diář
common.buy 262 Kč
Den Libanon lieben lernen Laura Ziegler / Kniha Brožovaná
common.buy 168 Kč
Diamante Nero Victoria Quinn / Kniha Brožovaná
common.buy 362 Kč
Die besten Aufstriche selbst gemacht Charly Till / Kniha Brožovaná
common.buy 195 Kč
Textanfänge Ulrike Krieg-Holz / Kniha Brožovaná
common.buy 1 076 Kč
Raketa Hravá kniha pro děti collegium / Kniha Brožovaná
common.buy 241 Kč
Nach dem bewaffneten Kampf Angelika Holderberg / Kniha Brožovaná
common.buy 219 Kč
Amour Et Bergerie, Comedie En 1 Acte, En Vers Jules Barbier / Kniha Brožovaná
common.buy 315 Kč
Uzniki Razuma Tat'yana Volkova / Kniha Brožovaná
common.buy 1 194 Kč

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 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 Jaco C. van de Pol, Michael Weber
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 263
EAN 9783642161636
ISBN 3642161634
Libristo kód 01656755
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 421
Rozměry 159 x 235 x 18

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Teorie algoritmů
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

Sword Song Sal Quartuccio / Kniha Brožovaná
common.buy 440 Kč
Myofascial Induction (TM) Andrzej Pilat / Kniha Pevná
common.buy 3 854 Kč
Down the Highway: The Life of Bob Dylan Howard Sounes / Kniha Brožovaná
common.buy 365 Kč
The Shadow Lily Johanna Mo / Kniha Brožovaná
common.buy 318 Kč
Oxford Reading Tree: Floppy's Phonics Decoding Practice: Oxford Level 5: Old Ruins Catherine Baker / Kniha Brožovaná
common.buy 155 Kč
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Kniha Brožovaná
common.buy 313 Kč
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Kniha Brožovaná
common.buy 173 Kč
History of Wyoming; Volume 1 Ichabod S. Bartlett / Kniha Brožovaná
common.buy 728 Kč
Anahid Played Soorp: The Finding of Aran Pirian Mark Kadian / Kniha Brožovaná
common.buy 336 Kč
Shadowless Alison Robinson / Kniha Pevná
common.buy 408 Kč
Harbor Knight Ralph A Garcia / Kniha Brožovaná
common.buy 358 Kč
Best Is Always... Still Yet to Come! Keith Payne / Kniha Brožovaná
common.buy 391 Kč
A View Of The Various Editions Of The Greek And Roman Classics: With Remarks (1778) Edward Harwood / Kniha Pevná
common.buy 1 011 Kč
Tour to London Pierre Jean Grosley / Kniha Brožovaná
common.buy 589 Kč
Boxer's Bible of Counterpunching Mark Hatmaker / Kniha Brožovaná
common.buy 240 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