Normal view MARC view ISBD view

Introduction to formal specification and Z

Material type: materialTypeLabel

BookPublisher: Harlow Pearson Prentice Hall 1996Edition: 2nd ed.Description: xiv, 434 p. ill. 24 cm.ISBN: 0132422077.Subject(s): Computer software -- Development | Z (Computer program language)DDC classification: 005.12

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.12 POT (Browse shelf)	Available		017190

Previous								Next
Previous	005.12 MAR Pattern languages of program design 3	005.12 MIN MapReduce design patterns	005.12 POH Requirements engineering : Fundamentals, principles, and techniques	005.12 POT Introduction to formal specification and Z	005.12 QIA Software architecture and design illuminated	005.12 RUD Human-computer interface design : success stories, emerging methods, and real-world context	005.12 SCH Pattern-oriented software architecture : patterns for concurrent and networked objects. Volume 2	Next

There are no comments for this item.

Koha online