عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1680
QA
76
.
L28
Vol
.
1680
کتابخانه
محل استقرار
Theoretical and Practical aspects of SPIN model-checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5th 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
1999: Trento, Italy; Toulouse, France
Berlin
Springer-Verlag
c1999
x, 276 p.: ill., tables
Lecture notes in computer science; 0861
Includes bibliographies
ISBN 3540664998
Dennis Dams...]et al.[, )Eds.(
1
Congresses ، Computer software -- Verification
Congresses ، SPIN )Computer file(
QA
76
.
L28
Vol
.
1680
AU
AU Dams, Dennis
TI
SE
SPIN
