Title :	Theory of program structuresnts,schemes,semantics, verification
Material Type:	printed text
Authors:	S. A. GREIBACH
Publisher:	Berlin : Springer
Publication Date:	1975
Series:	Lecture notes in computer science No. 36
Pagination:	346 str.
Size:	24 cm
General note:	Pergam ID: MF 18554
Languages :	English (eng)
Descriptors:	Informatika
Class number:	?

Theory of program structuresnts,schemes,semantics, verification [printed text] / S. A. GREIBACH . - Berlin : Springer, 1975 . - 346 str. ; 24 cm. - (Lecture notes in computer science; 36) .
Pergam ID: MF 18554
Languages : English (eng)

Descriptors:	Informatika
Class number:	?