Tools

LEADER 01712cam 22004214a 4500

001 ocm44883727;

003 OCoLC;

005 20141212144708.0;

008 000809s2000 gw a b 101 0 eng ;

010 a| 00063587;

015 a| GBA0-58416;

020 a| 3540679448 (softcover : alk. paper);

035 a| (Sirsi) o44883727;

035 a| (OCoLC)44883727;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.73.B155b| I58 2000;

082 00 a| 005.13/32| 21;

111 2 a| International Conference of B and Z Usersn| (1st :d| 2000 :c| York, England)?| UNAUTHORIZED;

245 10 a| ZB 2000 :b| formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings /c| Jonathan P. Bowen [and others] (eds.).;

300 a| xiv, 510 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1878;

504 a| Includes bibliographical references and index.;

650 0 a| B (Computer program language)v| Congresses.=| ^A383639;

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

700 1 a| Bowen, J. P.q| (Jonathan Peter),d| 1956-=| ^A369260;

830 0 a| Lecture notes in computer sciencev| 1878.=| ^A466336;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2000-11-22b| 79d| 3.98e| 66.36f| 578125;

596 a| 1;

998 a| 775580;

999 a| QA76.73.B155 I58 2000w| LCc| 1i| 30372010933783d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $66.36r| Ys| Yt| JGESBKu| 12/5/2000x| BOOKz| JSTACKSo| .STAFF. 0;

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen [and others] (eds.).

Author/creator	International Conference of B and Z Users
Other author	Bowen, J. P. (Jonathan Peter), 1956-
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	xiv, 510 pages : illustrations ; 23 cm.
Subjects	B (Computer program language)--Congresses. Z (Computer program language)--Congresses.

Series	Lecture notes in computer science ; 1878 Lecture notes in computer science 1878. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00063587
ISBN	3540679448 (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.73.B155 I58 2000	✔ Available	Place Hold

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings / Jonathan P. Bowen [and others] (eds.).

Click here for more information about this title

Availability