Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings

Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International SPIN Workshop (BerichterstatterIn)
Weitere Verfasser: Ball, Thomas Jaudon (BerichterstatterIn), Rajamani, Sriram K. (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2648
Schlagworte:
SPIN (Computer file) > ESPECIFICAÇÃO DE PROGRAMAS E SISTEMAS > Logiciels - Vérification - Congrès > LÓGICA > Computer software > Verification > Model Checking > Programmverifikation > Konferenzschrift
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:VIII, 239 S.
graph. Darst.
ISBN:3540401172
3-540-40117-2