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.)

Solaris 9 for Dummies
Solaris 9 for Dummies
Discover new security features and easier installation

Light up your system with a new resource manager, volume manager, and directory server

In the dark about Solaris 9? Open this book and let the sun shine in! It’ll help you chart a course for StarOffice, explore CDE and GNOME desktops, and harness Solaris power to...

Orthopedic Principles - A Resident's Guide
Orthopedic Principles - A Resident's Guide

The scope of orthopedic knowledge has expanded to such a degree that it has become increasingly difficult to maintain a fundamental grasp of the required knowledge base. This is compounded by the time constraints on adult learning, with the student or practitioner faced with ever-increasing demands on their time. This text is a much needed...

Flash + After Effects, Second Edition: Add Broadcast Features to Your Flash Designs
Flash + After Effects, Second Edition: Add Broadcast Features to Your Flash Designs

Flash Designers: push Flash to the next level with After Effects' robust toolset. CS5 delivers more complete integration of these two powerhouse applications-so you can expand your multimedia horizons. Flash + After Effects gives you a working understanding of the AE toolset and professional techniques that raise the design bar for...


Cecil Medicine: Expert Consult - Online and Print, 23e
Cecil Medicine: Expert Consult - Online and Print, 23e

Faster reference...better practice! If you aren't already getting your medical information from Cecil Medicine, it's time for you to start. The 23rd Edition is quite simply the fastest and best place to find all of the clinical answers you need! Both inside the remarkably user-friendly printed version of this Expert Consult title and...

Making Smart Cities More Playable: Exploring Playable Cities (Gaming Media and Social Effects)
Making Smart Cities More Playable: Exploring Playable Cities (Gaming Media and Social Effects)

This book explores the ways in which the broad range of technologies that make up the smart city infrastructure can be harnessed to incorporate more playfulness into the day-to-day activities that take place within smart cities, making them not only more efficient but also more enjoyable for the people who live and work within their...

Virtualization For Dummies
Virtualization For Dummies

Virtualization has become a “megatrend”—and forgood reason. Implementing virtualization allows for more efficientutilization of network server capacity, simpler storageadministration, reduced energy costs, and better use of corporatecapital. In other words: virtualization helps you save money,energy, and space. Not bad,...

©2020 LearnIT (support@pdfchm.net) - Privacy Policy