Ebook > Sciences > Computer Science > Application Software > Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

Jaco van der Pol & Michael Weber
Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings

Support

Adobe DRM

Cover of Jaco van der Pol & Michael Weber: Model Checking Software (PDF)

€56.36

Language English ● Format PDF ● ISBN 9783642161643 ● Editor Jaco van der Pol & Michael Weber ● Publisher Springer Berlin Heidelberg ● Published 2010 ● Downloadable 3 times ● Currency EUR ● ID 6377802 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Jaco van der Pol Michael Weber

15,972 Ebooks in this category

Cover of Roger Ye: .NET MAUI Cross-Platform Application Development

Roger Ye: .NET MAUI Cross-Platform Application Development

Build apps using .NET MAUI and Blazor with this comprehensive, revised guide for .NET 8. Purchase of the print or Kindle book includes a free e Book in PDF format. Key Features Handle data …

Cover of Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Big Data Computing

Vivek (Corporate IT Strategy Consultant, Thane (West), India) Kale: Big Data Computing

This book unravels the mystery of Big Data computing and its power to transform business operations. The approach it uses will be helpful to any professional who must present a case for realizing Big …

Cover of Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee - An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

Anmol (Cisco Systems, Inc., San Jose, California, USA) Misra & James (Senior Director, Product Security, McAfee – An Intel Company, Santa Clara California, USA) Ransome: Core Software Security

‘… an engaging book that will empower readers in both large and small software development and engineering organizations to build security into their products. … Readers are armed with firm …

Cover of Donald K. (Burleson Consulting, Kittrell, North Carolina, USA) Burleson: Physical Database Design Using Oracle

Donald K. (Burleson Consulting, Kittrell, North Carolina, USA) Burleson: Physical Database Design Using Oracle

The evolution of Oracle has led to a revolution in design practices. For Oracle 10g, database physical structures have become more complex than ever before and database designers face multiple ways …

Cover of Brij B. (National Institute of Technology Kurukshetra, India) Gupta & Quan Z. Sheng: Machine Learning for Computer and Cyber Security

Brij B. (National Institute of Technology Kurukshetra, India) Gupta & Quan Z. Sheng: Machine Learning for Computer and Cyber Security

While Computer Security is a broader term which incorporates technologies, protocols, standards and policies to ensure the security of the computing systems including the computer hardware, software …

Cover of Donald K. Burleson: Oracle Internals

Donald K. Burleson: Oracle Internals

If you are a typical Oracle professional, you don”t have the luxury of time to keep up with new technology and read all the new manuals to understand each new feature of the latest release from …

Cover of Carlos Otero: Software Engineering Design

Carlos Otero: Software Engineering Design

Taking a learn-by-doing approach, Software Engineering Design: Theory and Practice uses examples, review questions, chapter exercises, and case study assignments to provide students and practitioners …

Cover of Lewis Coulson & Brett Jephson: The HTML and CSS Workshop

Lewis Coulson & Brett Jephson: The HTML and CSS Workshop

Master HTML and CSS to create modern, stylish, and responsive websites with the help of real-world examples and hands-on activities Key Features

Learn HTML and CSS to produce highly func …

Cover of John Killingbeck: Microcomputer Algorithms

John Killingbeck: Microcomputer Algorithms

Although the computing facilities available to scientists are becoming more powerful, the problems they are addressing are increasingly complex. The mathematical methods for simplifying the computing …

Cover of David (School of Engineering & Computing Sciences, Durham University, UK) Budgen: Software Design

David (School of Engineering & Computing Sciences, Durham University, UK) Budgen: Software Design

Software Design: Creating Solutions for Ill-Structured Problems, Third Edition provides a balanced view of the many and varied software design practices used by practitioners. The book provides a gen …