Tools

LEADER 01191cam a2200337 a 4500

001 ocm34412972;

003 OCoLC;

005 20141212123342.0;

008 960308s1997 enka b 001 0 eng ;

010 a| 96013537;

015 a| GB97-16054;

020 a| 0521550416 (hbk.);

020 a| 0521559766 (pbk.);

035 a| (Sirsi) o34412972;

035 a| (OCoLC)34412972;

049 a| EREE;

050 00 a| QA76.73.Z2b| J33 1997;

082 00 a| 005.1/22| 20;

100 1 a| Jacky, Jonathan.=| ^A262050;

245 14 a| The way of Z :b| practical programming with formal methods /c| Jonathan Jacky.;

260 a| Cambridge ;a| New York, NY, USA :b| Cambridge University Press,c| 1997.;

300 a| xviii, 350 pages :b| illustrations ;c| 25 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (p. [328]-339) and index.;

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

596 a| 1;

998 a| 610957;

999 a| QA76.73.Z2 J33 1997w| LCc| 1i| 30372009940849d| 9/10/2018e| 9/6/2018f| 2/14/2013g| 1l| JGESm| JOYNERn| 3r| Ys| Yt| JGESBKu| 3/24/1997x| BOOKz| JSTACKSo| .STAFF. 0;

The way of Z : practical programming with formal methods / Jonathan Jacky.

Author/creator	Jacky, Jonathan
Format	Book
Publication Info	Cambridge ; New York, NY, USA : Cambridge University Press, 1997.
Description	xviii, 350 pages : illustrations ; 25 cm
Subjects	Z (Computer program language)

Bibliography note	Includes bibliographical references (p. [328]-339) and index.
LCCN	96013537
ISBN	0521550416 (hbk.)
ISBN	0521559766 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.Z2 J33 1997	✔ Available	Place Hold

The way of Z : practical programming with formal methods / Jonathan Jacky.

Click here for more information about this title

Availability