Normal view MARC view ISBD view

Formal specification using Z.

Material type: materialTypeLabel

BookSeries: Grassroots series.Publisher: Basingstoke: Palgrave, 2001Edition: 2nd ed.Description: xii,164p; : 25 cm.ISBN: 9780333763278 .Subject(s): Computer software -- Development | Formal methods (Computer science) | Z (Computer program language)DDC classification: 005.133

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.133 LIG (Browse shelf)	Available		026034

Previous								Next
Previous	005.133 LIA Introduction to programming with C++	005.133 LIA Introduction to Java programming : brief version	005.133 LIA Introduction to programming with C++	005.133 LIG Formal specification using Z.	005.133 LIH Numerical methods using Java : for data science, analysis, and engineering	005.133 LIN JMX : managing J2EE applications with java management extensions	005.133 LIN Javatech : an introduction to scientific and technical computing with Java	Next

There are no comments for this item.

Koha online