phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Zásilkovna 44 Kč Kurýr GLS 74 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Model Checking Software

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ětna 2013
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Greek Islands Korina Miller / Brožovaná
common.buy 777 Kč
High Frequency Continuous Time Filters in Digital CMOS Processes Shanthi Pavan / Brožovaná
common.buy 3 037 Kč
Modern Syntheses of Cobalt (III) Complexes M. Shibata / Brožovaná
common.buy 1 540 Kč
Připravujeme
9/11 Conspiracy James H. Fetzer / Brožovaná
common.buy 793 Kč
Monteverdi: Vespers (1610) John (University of Birmingham) Whenham / Pevná
common.buy 2 529 Kč
Mitgefühl in der Wirtschaft Tania Singer / Brožovaná
common.buy 377 Kč
Looking for Love with All the Wrong Husbands Tee Fuller / Pevná
common.buy 1 045 Kč
Arbeitswert, Mehrwert Und Verteilung Gerhard Himmelmann / Brožovaná
common.buy 1 676 Kč
Organometallic Oxidation Catalysis Franc Meyer / Brožovaná
common.buy 6 032 Kč
Medical Spanish: A Workbook: Study Module 1 Craig A Sinkinson M D / Brožovaná
common.buy 828 Kč
52 Steps to Success Anthony Pan / Brožovaná
common.buy 806 Kč
Advances in Intelligent Systems Masoud Mohammadian / Pevná
common.buy 3 174 Kč
Media Strategies for Understanding Contemporary News in a Biased World Bradley K Smith / Brožovaná
common.buy 1 429 Kč
National Federation of Women Workers, 1906-1921 Cathy Hunt / Pevná
common.buy 3 037 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.

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

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