Tools

LEADER 01434cam a22003858a 4500

001 ocm22111857;

003 OCoLC;

005 20141212093552.0;

008 900709s1991 njua b 001 0 eng ;

010 a| 90007763;

020 a| 0134787021 (paperback) :c| $32.50;

035 a| (Sirsi) o22111857;

035 a| (OCoLC)22111857;

049 a| EREE;

050 00 a| QA76.76.D47b| P68 1991;

082 00 a| 005.13/32| 20;

100 1 a| Potter, Ben.=| ^A301279;

245 13 a| An introduction to formal specification and Z /c| Ben Potter, Jane Sinclair, David Till.;

260 a| Englewood Cliffs, N.J. :b| Prentice Hall,c| 1991.;

300 a| xiii, 304 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Prentice-Hall International Series in computer science;

504 a| Includes bibliographical references and index.;

650 0 a| Computer softwarex| Development.=| ^A210127;

650 0 a| Z (Computer program language)=| ^A265170;

700 1 a| Sinclair, Jane.=| ^A301280;

700 1 a| Till, David.=| ^A1215756;

830 0 a| Prentice-Hall international series in computer science.=| ^A117347;

919 a| BOOK;

596 a| 1;

998 a| 447037;

999 a| QA76.76.D47 P68 1991w| LCc| 1i| 30372006737818d| 2/20/2013e| 2/16/2007f| 2/20/2013g| 2l| JGESm| JOYNERn| 2r| Ys| Yt| JGESBKu| 1/25/1993x| BOOKz| JSTACKSo| .STAFF. 0;

An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.

Author/creator	Potter, Ben
Other author	Sinclair, Jane.
Other author	Till, David.
Format	Book
Publication Info	Englewood Cliffs, N.J. : Prentice Hall, 1991.
Description	xiii, 304 pages : illustrations ; 23 cm.
Subjects	Computer software--Development. Z (Computer program language)

Series	Prentice-Hall International Series in computer science Prentice-Hall international series in computer science. ^A117347
Bibliography note	Includes bibliographical references and index.
LCCN	90007763
ISBN	0134787021 (paperback) :

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 P68 1991	✔ Available	Place Hold

An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.

Click here for more information about this title

Availability