Ebook > Sciences > Computer Science > Application Software > Alastair Donaldson & David Parker: Model Checking Software (PDF)

Alastair Donaldson & David Parker
Model Checking Software [PDF ebook]
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings

Support

Cover of Alastair Donaldson & David Parker: Model Checking Software (PDF)

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

€52.33

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783642317590 ● Editor Alastair Donaldson & David Parker ● Publisher Springer Berlin Heidelberg ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 6378278 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Alastair Donaldson David Parker

16,459 Ebooks in this category

Cover of Richard Urwin: Artificial Intelligence for Developers in easy steps

Richard Urwin: Artificial Intelligence for Developers in easy steps

Artificial Intelligence for Developers in easy steps is for coders who want to enhance their skillset quickly and easily. Artificial Intelligence (AI) is here to stay, and this guide reveals how AI …

Cover of Various: Programming Kotlin

Various: Programming Kotlin

Explore the world of Kotlin with this curated collection. Designed for both beginners and experienced developers, this bundle offers essential knowledge and practical skills for developing …

Cover of Di Wu: Data Mining with Python

Di Wu: Data Mining with Python

Data is everywhere and it s growing at an unprecedented rate. But making sense of all that data is a challenge. Data Mining is the process of discovering patterns and knowledge from large data sets, …

Cover of Vimal Kumar & Shashwat Pathak: Python Programming

Vimal Kumar & Shashwat Pathak: Python Programming

Maintaining a practical perspective, Python Programming: A Practical Approach acquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python pr …

Cover of C. Ravindranath Pandian: Software Metrics

C. Ravindranath Pandian: Software Metrics

<P> The modern field of software metrics emerged from the computer modeling and ‘statistical thinking’ services of the 1980s. As the field evolved, metrics programs were integrated with project …

Cover of Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Anita Gehlot & Lovi Raj Gupta: Getting Started for Internet of Things with Launch Pad and ESP8266

Getting Started for Internet of Things with Launch Pad and ESP8266 provides a platform to get started with the Ti launch pad and Io T modules for Internet of Things applications. The book provides …

Cover of Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Pam Lahoud & Pedro Lopes: Learn T-SQL Querying

Troubleshoot query performance issues, identify anti-patterns in code, and write efficient T-SQL queries Key Features

Discover T-SQL functionalities and services that help you interact w …

Cover of Saad Motahhir: Smart Embedded Systems and Applications

Saad Motahhir: Smart Embedded Systems and Applications

This book covers a wide range of challenges, technologies and state-of-the-art for the design, development and realization of smart and complex embedded systems and their applications; i.e., software …

Cover of Pankaj Kumar: Building Android Projects with Kotlin

Pankaj Kumar: Building Android Projects with Kotlin

As an ambitious Kotlin programmer or Android developer, are you frequently baffled by the options available to do a specific task? Or why a single solution is superior to the others for doing this …

Cover of Bhavani (The University of Texas at Dallas, Richardson, USA) Thuraisingham: Database and Applications Security

Bhavani (The University of Texas at Dallas, Richardson, USA) Thuraisingham: Database and Applications Security

This is the first book to provide an in-depth coverage of all the developments, issues and challenges in secure databases and applications. It provides directions for data and application security, …