Tools

LEADER 01383cam a2200361 a 4500

005 20141212122144.0;

008 960403s1996 enka b 001 0 eng ;

010 a| 96015929;

020 a| 0132422077 (pbk.);

035 a| (Sirsi) o34545017;

035 a| (OCoLC)34545017;

049 a| EREE;

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

082 00 a| 005.1/22| 20;

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

245 10 a| Introduction to formal specification and Z /c| Ben Potter, Jane Sinclair, David Till.;

250 a| 2nd ed.;

260 a| London ;a| New York :b| Prentice Hall,c| 1996.;

300 a| xiv, 434 pages :b| illustrations ;c| 24 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 (p. 414-418) 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;

596 a| 1;

998 a| 600009;

999 a| QA76.76.D47 P68 1996w| LCc| 1i| 30372009477859d| 2/20/2013e| 3/3/1998f| 2/20/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 9/16/1996x| BOOKz| JSTACKSo| .STAFF. 0;

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
Edition	2nd ed.
Publication Info	London ; New York : Prentice Hall, 1996.
Description	xiv, 434 pages : illustrations ; 24 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 (p. 414-418) and index.
LCCN	96015929
ISBN	0132422077 (pbk.)

Availability

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

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

Click here for more information about this title

Availability