Mathematics of program construction :

Material type: Text

TextSeries: Lecture notes in computer science ; 375Publication details: Berlin ; | New York : Springer-Verlag, 1989Description: vi, 420 p. : ill. ; 25 cmISBN:

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	Home library	Collection	Call number	Status	Barcode
Book	MATH-LiB General Stack	MATH-LiB	NFIC	511.3 N892 (Browse shelf(Opens below))	Available	141763

Total holds: 0

Previous	No cover image available				No cover image available	No cover image available	No cover image available	Next
Previous	511.3 N86 Algorithms and complexity	511.3 N87 Discrete mathematical structures for computer science	511.3 N87 Discrete mathematical structures for computer science	511.3 N892 Mathematics of program construction :	511.3 N893 Classical recursion theory :	511.3 N90 Mathematics and plausible reasoning	511.3 N943 Mathematical logic	Next

Papers presented at the Conference on Mathematics of Program Construction.

There are no comments on this title.

to post a comment.

MATH-LiB Online Catalogue