Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings (Paperback, 1st ed. 2015)

This book constitutes the refereed proceedings of the 22nd 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; Buchi automata and hashing; embedded systems; heuristics and benchmarks; SAT/SMT- based approaches; software validation and verification.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 9232
Release date:	September 2015
First published:	2015
Editors:	Bernd Fischer • Jaco Geldenhuys
Dimensions:	235 x 155 x 18mm (L x W x T)
Format:	Paperback
Pages:	319
Edition:	1st ed. 2015
ISBN-13:	978-3-319-23403-8
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Programming languages > General
LSN:	3-319-23403-X
Barcode:	9783319234038

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!