-
RecordNumber
33156
-
Author
Luckham, David
-
Title
Programming with spcifications an introduction to ANNA, a language for
-
Author Statement
David Luckham
-
Publication
Springer
-
Publication Year
[c1990]
-
Collation
Xv, 416 p.
-
Series
texts and monographs in computer science
-
Subject
ANNA (Computer program Language)
-
Main Class
005
-
Sub Class
.133
-
Cutter no
L941p
-
وارد كنندة اطلاعات
soltani^d//
-
Link To Document :
