Constructive methods in computing science : international summer school directed by F.L. Bauer ... [ - detaljert visning

Constructive methods in computing science : international summer school directed by F.L. Bauer ... [et al.]


Utgitt	Berlin : Springer , c1989
Omfang	viii, 478 s. : ill.
Opplysninger	"Proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24-August 5, 1988" - Tittelbladets bakside
Emner	Electronic data processing - Congresses
ISBN	0387513698. - 3540513698