SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: International SPIN Workshop Stanford, Calif.
Other Authors: Havelund, Klaus, 1955-, Penix, John, 1970-, Visser, Willem, 1968-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, 2000.
Series:Lecture notes in computer science ; 1885.
Subjects:
SPIN (Computer file) > Congresses.
Computer software > Verification > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.76.V47 I58 2000
 
Call Number Status Get It
QA76.76.V47 I58 2000 Available