-
RecordNumber
5723
-
Title
Automatic verfication methods for finite state systems, proceedings of ...
-
Editor
J. Sifakis ed
-
Publication
springer
-
Publication Year
[c1990]
-
Collation
vii, 382 p.: diagrs
-
Series
Lecture notes in computer science; v. 407
-
Notes
International workshop, Grenoble, 1989
-
Bibliography
Includes bibliographies
-
Subject
Computer programs- Verification
-
ADDED ENTRIES
Sifakis, J., ed , ^dSeries: Lecture notes in computer science, v. 407
-
Main Class
005
-
Sub Class
.14
-
Cutter no
A939
-
وارد كنندة اطلاعات
zare 1030^d//
-
Link To Document :
