Theory of program structures schemes, semantics, verification Sheila A. Greibach

By:

Series: Lecture notes in computer science ; 36Publication details: Berlin New York Springer-Verlag 1975Description: 389 p. in various pagings ill 25 cmISBN:

Subject(s):

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 19677 (Browse shelf(Opens below))	Available		0016033

Previous					No cover image available			Next
Previous	II 19674 Foundations of quantum mechanics and ordered linear spaces Advanced Study Institute, Marburg 1973	II 19675 International Symposium on Theoretical Programming [Proceedings held on August 7-11, 1972]	II 19676 Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974	II 19677 Theory of program structures schemes, semantics, verification	II 1968 Elemente der theorie der funktionen	II 19681 Classification of algebraic varieties and compact complex manifolds	II 19686 Ordinary and modular representations of Chevalley groups	Next

Contine bibliografie

There are no comments on this title.

to post a comment.