Normal view MARC view ISBD view

Algebraic methods in semantics Nivat Maurice Ed.; Reynolds John C Ed.

By:

Contributor(s):

Material type: Text

TextLanguage: English Publication details: Cambridge CUP 1985Description: xv, 634p. cmSubject(s):

DDC classification:

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	Call number	Status	Barcode
Textual	Central Science Library	Central Science Library	D65,8(B)92 M5 (Browse shelf(Opens below))	Available	SL0953776

Previous								Next
Previous	D65,8(B)92 M5 Hierarchical associative processing systems	D65,8(B)92 M5 Proceeding on mathematical foundations of software development	D65,8(B)92 M5 Operating systems: structures and mechanisms	D65,8(B)92 M5 Algebraic methods in semantics	D65,8(B)92 M5 Practical handbook for software development	D65,8(B)92 M5 Programming in C with a bit of UNIX	D65,8(B)92 M5 Introduction to formal program verification	Next

Bibliography 634p

There are no comments on this title.

to post a comment.