Normal view MARC view ISBD view

Formal specification using z: a modelling approach / [by] Leonardo Bottaci, John Jones

Publisher: London Internatonal Thomson pub. 1995Description: xii, 320 p.ISBN: 1850321094.Subject(s): AlgorithmsDDC classification: 518.1

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

average rating: 0.0 (0 votes)

Item type	Current location	Collection	Call number	Status	Date due	Barcode
Books in Reference (R)	Main Library Science & Technology	R	518.1 BOT (Browse shelf)	Available		140569

Previous						No cover image available		Next
Previous	518.0285 NUM NUMERICAL recipes: the art of scientific computing	518.1 AHO The design and analysis of computer algorithms /	518.1 BAA Computer algorithms : introduction to design and analysis /	518.1 BOT Formal specification using z: a modelling approach /	518.1 BRA Fundamentals of algorithmics	518.1 COS Parallel algorithms and architectures /	518.1 GAN Learning MATLAB: a problem solving approach	Next