Model Checking Software

Name: Model Checking Software
Brand: Springer International Publishing AG
SKU: 9783319234038
Price: 19305 HUF
Availability: InStock

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Szerző: Bernd Fischer, Jaco Geldenhuys

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 305 Ft

This book constitutes the refereed proceedings of the 21st International Symposium on Model Checking...

Információk a könyvről

Szerző

Bernd Fischer, Jaco Geldenhuys

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2015

oldal

319

EAN

9783319234038

ISBN

331923403X

Enbook ID

09486332

Kiadó

Springer International Publishing AG

Súly

5153

Méretek

155 x 235 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták