Normal view MARC view ISBD view

Refinement calculus

Material type: materialTypeLabel

BookSeries: Graduate texts in computer science.Publisher: New York: Springer-Verlag, 1998Description: xv, 519 p.; : 24 cm.ISBN: 0387984178 .Subject(s): Calculus | Computer logic | Computer programmingDDC classification: 005.14

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		005.14 BAC (Browse shelf)	Available		011180

Previous								Next
Previous	005.14 AND How to break Web software : functional and security testing of Web applications and Web services	005.14 AND How to break Web software : functional and security testing of Web applications and Web services	005.14 APT Verification of sequential and concurrent programs	005.14 BAC Refinement calculus	005.14 BAR Find the bug : a book of incorrect programs	005.14 BEC Test driven development: by example	005.14 BEI Black box testing : techniques for functional testing of software and systems	Next

There are no comments for this item.

Koha online