Principles of the Spin model checker View on Open Library

Principles of the Spin model checker

by M. Ben-Ari

No reviews yet
First published: 2008 1 language ISBN: 9781846287695
Subjects
Computer software SPIN (Computer file) Verification Computer software, verification Literary collections

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by M. Ben-Ari

Mathematical logic for computer science

Mathematical logic for computer science

Principles of concurrent and distributed programming

Principles of concurrent and distributed...

Ada for software engineers

Ada for software engineers

Processus concurrents

Processus concurrents

Ada for software engineers

Ada for software engineers

Principles of concurrent programming

Principles of concurrent programming

You Might Also Like

More in Computer software
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Software Engineering

Software Engineering

Roger S. Pressman
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon
The C Programming Language

The C Programming Language

Brian W. Kernighan
Mastering today's software

Mastering today's software

Edward G. Martin
Introducing Computers

Introducing Computers

Robert H. Blissmer