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

20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Ezio Bartocci
Libristo kód: 01663942
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Připravujeme
Kudy do pohody Karel Nešpor / Audio Audio CD
common.buy 125 Kč
Lieblingsschlager / Audio Audio CD
common.buy 388 Kč
Ste. Roche Henriette Von Paalzow / Kniha Brožovaná
common.buy 406 Kč
Agora sou um professor digital, como ser um professor durante a pandemia.: Um dia estava dentro da sala de aula, outro dia estava dentro de uma plataf Odirlei Amaro Ferreira / Kniha Brožovaná
common.buy 142 Kč
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Kniha Brožovaná
common.buy 1 214 Kč
Hisskillen i Lissabon Cupido / Audiokniha MP3
common.buy 77 Kč
Top
Puzzle 3x48 Peppa Pig / Hra/Hračka Puzzle
common.buy 157 Kč

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

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 Ezio Bartocci, C. R. Ramakrishnan
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 377
EAN 9783642391750
ISBN 3642391753
Libristo kód 01663942
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 593
Rozměry 155 x 235 x 22

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

Organometallic Oxidation Catalysis Franc Meyer / Kniha Brožovaná
common.buy 4 707 Kč
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Kniha Brožovaná
common.buy 1 182 Kč
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Kniha Pevná
common.buy 2 186 Kč
Execution Gap: When Law Exists But Rights Don't Attach Thomas Hornig / E-kniha Adobe ePub DRM
common.buy 240 Kč
Living the Beatles Legend Kenneth Womack / Kniha Brožovaná
common.buy 293 Kč
Memorable Edinburgh Houses Wilmot Harrison / Kniha Pevná
common.buy 707 Kč
How to Create Manga: Drawing Clothing and Accessories Studio Hard Deluxe Inc. / E-kniha Adobe ePub DRM
common.buy 498 Kč
Security, Defense Discourse and Identity in NATO and Europe Falk Ostermann / E-kniha Adobe ePub DRM
common.buy 1 521 Kč
Dingbat: Adventures in Trickle Valley Jennifer White / Kniha Brožovaná
common.buy 217 Kč
Pieter Vermeersch: Variations Dieter Roelstraete / Kniha Brožovaná
common.buy 988 Kč
Soothing W. HANS MILLER / Kniha Pevná
common.buy 721 Kč
52 Steps to Success Anthony Pan / Kniha Brožovaná
common.buy 692 Kč
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Kniha Brožovaná
common.buy 711 Kč
Dodging Shells W L Bertsch / Kniha Brožovaná
common.buy 278 Kč
Looking for Love with All the Wrong Husbands Tee Fuller / Kniha Pevná
common.buy 902 Kč
Finding Hope Dan Rogers / Kniha Brožovaná
common.buy 362 Kč
Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith / Kniha Brožovaná
common.buy 336 Kč
Making Men into Fathers Barbara Hobson / Kniha Pevná
common.buy 1 819 Kč
Greek Islands Korina Miller / Kniha Brožovaná
common.buy 748 Kč
National Federation of Women Workers, 1906-1921 Cathy Hunt / Kniha Pevná
common.buy 2 646 Kč
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Kniha Brožovaná
common.buy 2 357 Kč
Disobeying the Security Council Antonios Tzanakopoulos / Kniha Brožovaná
common.buy 1 283 Kč
Připravujeme
Extreme-occident Jean-Philippe Mathy / Kniha Pevná
common.buy 2 702 Kč
Emancipating Cultural Pluralism Cris E. Toffolo / Kniha Brožovaná
common.buy 922 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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?