-
RecordNumber
49435
-
Author
^bThe Symposium on logics of programs and the applications. 2ed , poznan, 1980
-
Title
Logics of programs and their application proceedings of...
-
Editor
Edited by A. Salwicki
-
Publication
Springer
-
Publication Year
1983
-
Collation
324 p
-
Series
Lecture notes in computer Science; v.148
-
Subject
Electronic digital computers- programming- Conmgresses
-
ADDED ENTRIES
Salwicki, A. ed , ^dSeries:Lecture notes in computer science; v.148
-
Main Class
519
-
Sub Class
.7
-
Cutter no
S989l
-
Date
1980
-
وارد كنندة اطلاعات
^d// , khodaei^d2003/10/13 16:02:13
-
Link To Document :
