Vista normal Vista MARC Vista ISBD

Constructive methods in computing science / Ed. by manfred broy - 478 páginas - Nato asi series f. computer and systems sciences ; v. 55 .

"published in cooperation with nato scientific affairs division" "proceedings of the nato advanced study institute on constructive methos computing science held at marktoberdorf, federal republic of germany, july 24 - august 5, 1988"

ISBN: 3-540-51369-8

Subjects--Topical Terms:
Procesamiento electrónico de datos--Congresos

LC Class. No.: QA75.5 / N37