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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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.10 €
Skladom u dodávateľa Odosielame za 9-15 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Star Wars Hidden Empire T02 / Kniha Brožovaná
common.buy 21.66 €
Boxer Photo&Kunst (Wandkalender 2026 DIN A2 quer), CALVENDO Monatskalender Calvendo / Kalendár/Diár Kalendár
common.buy 54.28 €
Be Kind (Nepali-English) Livia Lemgruber / Kniha Brožovaná
common.buy 16.60 €
Le cahier de Catherine - Petits carreaux, 96p, A5 - Petits c urs / Kalendár/Diár Diár
common.buy 10.83 €
Den Libanon lieben lernen Laura Ziegler / Kniha Brožovaná
common.buy 7.38 €
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.09 €
Raketa Hravá kniha pro děti collegium / Kniha Brožovaná
common.buy 9.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 13.06 €
Uzniki Razuma Tat'yana Volkova / Kniha Brožovaná
common.buy 52.45 €

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ť

Sword Song Sal Quartuccio / Kniha Brožovaná
common.buy 19.33 €
Myofascial Induction (TM) Andrzej Pilat / Kniha Pevná
common.buy 159.51 €
Down the Highway: The Life of Bob Dylan Howard Sounes / Kniha Brožovaná
common.buy 16.20 €
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.88 €
Raising Pigs: The Ultimate Guide to Pig Raising on Your Homestead Dion Rosser / Kniha Brožovaná
common.buy 12.95 €
GAMES WITH ANIMALS - Coloring Book For Kids Rachel Madeley / Kniha Brožovaná
common.buy 7.18 €
History of Wyoming; Volume 1 Ichabod S. Bartlett / Kniha Brožovaná
common.buy 30.07 €
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.90 €
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.82 €
Tour to London Pierre Jean Grosley / Kniha Brožovaná
common.buy 25.82 €
Boxer's Bible of Counterpunching Mark Hatmaker / Kniha Brožovaná
common.buy 10.62 €

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ť?