![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
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.
|
You may like...
Advanced Graphic Communication, Printing…
Pengfei Zhao, Zhuangzhi Ye, …
Hardcover
R5,337
Discovery Miles 53 370
Fuzzy Models and Algorithms for Pattern…
James C. Bezdek, James Keller, …
Hardcover
R8,064
Discovery Miles 80 640
The Routledge Handbook of Critical…
Christian Borch, Robert Wosnitzer
Paperback
R1,467
Discovery Miles 14 670
Advanced Android Application Development
Joseph Annuzzi, Lauren Darcey, …
Paperback
|