The SPIN verification system : proceedings of a DIMACS workshop, August 5, 1996

The SPIN verification system proceedings of a DIMACS workshop, August 5, 1996

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Center for Discrete Mathematics and Theoretical Computer Science (BerichterstatterIn), Workshop on the SPIN Verification System (BerichterstatterIn)
Weitere Verfasser: Grégoire, Jean-Charles (HerausgeberIn), Holzmann, Gerard J. (HerausgeberIn), Peled, Doron (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Providence, RI American Mathematical Society 1997
Schriftenreihe:Series in discrete mathematics and theoretical computer science 32
Schlagworte:
SPIN (Computer file) > Congresses > Computer software > Verification > Programmverifikation > Mathematics > Princeton <NJ, 1996> > Konferenzschrift > Programmierlogik > Software > Verteiltes System
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
Beschreibung:Includes bibliographical references
Beschreibung:XII, 203 S.
graph. Darst.
ISBN:0821806807
0-8218-0680-7