Normale Ansicht MARC ISBD

Model checking software proceedings 9th International SPIN Workshop 9th International SPIN Workshop, Grenoble, France, April 11 - 13, 2002. Dragan Bos̆nac̆ki; Stefan Leue (ed.) - X, 257 S. graph. Darst. 24 cm - Lecture notes in computer science 2318 . - 231800 . - Lecture notes in computer science 2318 .

Literaturangaben

Bošnački, Dragan: Model Checking Software

ISBN: 3540434771 kart. : EUR 40.00

Standard No.: 9783540434771

LCCN: 2002021114

Nat. Bib. No.: 02,N15,0318 dnb 02,A25,0704 dnb

Nat. Bib. Agency Control No.: 963980718 DE-101

Subjects--Topical Terms:
SPIN (Computer file)--Congresses
Computer software--Verification--Congresses
Computer software--Verification--Congresses
SPIN (Computer file)--Congresses

Subjects--Index Terms:

Index Terms--Genre/Form:
Konferenzschrift--Grenoble--2002