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

Model Checking Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Bernd Fischer
Libristo kód: 09486332
Nakladatelství Springer International Publishing AG, srpna 2015
This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 14-18 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Treasures from Juniper Ridge Padmasambhava Rinpoche / Brožovaná
common.buy 376 Kč
Psychotherapy of the Disorders of the Self M. D. James F. Masterson / Brožovaná
common.buy 1 852 Kč
Kritická reflexe demokracie a občanské společnosti Martin Šimsa / Brožovaná
common.buy 272 Kč
History and Development of the Arabic Language Mohamed El-Sharkawi / Brožovaná
common.buy 1 823 Kč
Complete Peter Pan James Matthew Barrie / Brožovaná
common.buy 426 Kč
Cultural Factors Promoting Streetism Mwangi Martin / Brožovaná
common.buy 1 414 Kč
Blending Leadership Stephen Valentine / Brožovaná
common.buy 589 Kč
Unsub Divya Victor / Brožovaná
common.buy 300 Kč
Jardin Des Cultures Guyanaises Buland-F / Brožovaná
common.buy 1 800 Kč
Encyclopedia of Crime and Punishment Wesley G. Jennings / Pevná
common.buy 16 134 Kč
Introduction to Coastal Issues and Management Barman Nilay Kanti / Brožovaná
common.buy 2 072 Kč
New Improved Great Dane Understanding and Training Guide Book Vince Stead / Brožovaná
common.buy 476 Kč

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented - 14 regular papers and 4 tool or new idea papers - were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and are organized in topical sections such as abstraction, refinement, translation; Büchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

Informace o knize

Plný název Model Checking Software
Autor Bernd Fischer, Jaco Geldenhuys
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2015
Počet stran 319
EAN 9783319234038
ISBN 331923403X
Libristo kód 09486332
Nakladatelství Springer International Publishing AG
Váha 5153
Rozměry 155 x 235 x 20

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