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