VU Boekhandel

Hoofdkenmerken

Titel:	SPIN Verification System
Uitgever:	American Mathematical Society
ISBN:	9780821806807
Serie:	Series in Discrete Mathematics & Theoretical Computer Science
Land van oorsprong:	United States
Prijs:	€ 88.66
Verschijningsdatum:	30-05-1997
Bericht:	Tijdelijk niet leverbaar - levertijd onbekend

Inhoudelijke kenmerken

Categorie:	Mathematical theory of computation
Geillustreerd:	illustrations

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	379
Gewicht gr.:	624

Inhoud:

What is Spin? Spin is a general tool for the specification and formal verification of software for distributed systems. This DIMACS volume presents the papers contributed to the second international workshop that was held on the Spin verification system at Rutgers University in August 1996.