Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Principles of the Spin Model Checker

Buy
Principles of the Spin Model Checker, 9781846287695 (1846287693), Springer, 2008
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the Promela language which is easily learned by students and programmers. Spin is easy to install and use.

The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism. The book introduces Spin-based software that the author has developed for teaching: jSpin - an integrated development environment for Spin; SpinSpider - uses output from Spin to automatically construct state diagrams of concurrent programs; VN is a tool for visualizing nondeterminism.

Complete programs will demonstrate each construct and concept and these programs will be available on a companion website.

(HTML tags aren't allowed.)

SOA Using Java(TM)  Web Services
SOA Using Java(TM) Web Services
Expert Solutions and State-of-the-Art Code Examples

SOA Using Java Web Services is a hands-on guide to implementing Web services and Service Oriented Architecture (SOA) with today’s Java EE 5 and Java SE 6 platforms. Author Mark Hansen presents in explicit detail the information that...

The Complete Idiot's Guide to Javascript
The Complete Idiot's Guide to Javascript
While it's doesn't cover JavaScript 1.1 as deeply as some other books, The Complete Idiot's Guide to JavaScript, Second Edition, offers a quick, to-the-point introduction to the subject. By the time you finish working through the explanatory text and examples, you'll know enough about JavaScript to create simple or moderately...
Windows Administration at the Command Line for Windows Vista, Windows 2003, Windows XP, and Windows 2000
Windows Administration at the Command Line for Windows Vista, Windows 2003, Windows XP, and Windows 2000
The only complete reference for Windows command line utilities

The last thing you need as a busy systems administrator is to click endlessly through the Windows GUI every time you want to perform a simple task. Want a better solution? Get reacquainted with the often-overlooked utilities accessible through the command line...


Arduino Robotics (Technology in Action)
Arduino Robotics (Technology in Action)

This book will show you how to use your Arduino to control a variety of different robots, while providing step-by-step instructions on the entire robot building process. You'll learn Arduino basics as well as the characteristics of different types of motors used in robotics. You also discover controller methods and failsafe...

Jump Start Sinatra: Get Up to Speed With Sinatra in a Weekend
Jump Start Sinatra: Get Up to Speed With Sinatra in a Weekend

This short SitePoint book provides readers with a fun and yet practical introduction to Sinatra, a framework that makes web development with Ruby extremely simple. It's not intended to be a completely comprehensive guide to the framework or an in-depth Ruby tutorial, but will quickly get you up to speed with Sinatra and give you the...

Aircraft Performance & Design
Aircraft Performance & Design
Written by one of the most succesful aerospace authors, this new book develops aircraft performance techniques from first principles and applies then to real airplanes. It also address a philosophy of, and techniques for aircraft design. By developing and discussing these two subjects in a single text, the author captures a degree of synergism not...
©2020 LearnIT (support@pdfchm.net) - Privacy Policy