Normal view MARC view ISBD view

Axiomatising the logic of computer programming

By:

Contributor(s):

Material type: Text

TextSeries: Lecture notes in Computer Science ; 130Publication details: Berlin Springer-Verlag 1982Description: xi, 304p. IndexSubject(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	Call number	Status	Date due	Barcode
Book	ISID	518.542 G618.AL (Browse shelf(Opens below))	Available		DP17942

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		No cover image available	Next
Previous	518.542 D575.DP A discipline of programming	518.542 D643.IBM IBM 1620 programming for science and mathematics /	518.542 G166.VP View of programming language	518.542 G618.AL Axiomatising the logic of computer programming	518.542 G659.LC The latex Companion /	518.542 G773.ML Math Into Latex /	518.542 G848.SP The science of programming	Next

There are no comments on this title.

to post a comment.