Tools

LEADER 01501cam a2200397 a 4500

001 ocm37443015;

003 OCoLC;

005 20141212132131.0;

008 970804s1998 enka b 001 0 eng ;

010 a| 97029213;

015 a| GB98-25217;

019 a| 38885858;

020 a| 3540761861 (pbk. : alk. paper);

035 a| (Sirsi) o37443015;

035 a| (OCoLC)37443015;

049 a| EREE;

050 00 a| QA76.76.D47b| P775 1998;

082 00 a| 005.1/42| 21;

245 00 a| Proof in VDM :b| case studies /c| J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm [and others].;

300 a| xiv, 226 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Formal approaches to computing and information technology;

504 a| Includes bibliographical references and index.;

650 0 a| Computer softwarex| Developmentv| Case studies.=| ^A210127;

650 0 a| Automatic theorem proving.=| ^A88007;

700 1 a| Bicarregui, J. C.q| (Juan Carlos),d| 1962-?| UNAUTHORIZED;

700 1 a| Agerholm, Sten.=| ^A416577;

830 0 a| Formal approaches to computing and information technology.=| ^A347520;

994 a| E0b| ERE;

596 a| 1;

998 a| 654845;

999 a| QA76.76.D47 P775 1998w| LCc| 1i| 30372010340294d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/13/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Proof in VDM : case studies / J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm [and others].

Other author	Bicarregui, J. C. (Juan Carlos), 1962-
Other author	Agerholm, Sten.
Format	Book
Publication Info	London ; New York : Springer-Verlag, ©1998.
Description	xiv, 226 pages : illustrations ; 24 cm.
Subjects	Computer software--Development. --Case studies. Automatic theorem proving.

Series	Formal approaches to computing and information technology Formal approaches to computing and information technology. ^A347520
Bibliography note	Includes bibliographical references and index.
LCCN	97029213
ISBN	3540761861 (pbk. : alk. paper)

Availability

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

Proof in VDM : case studies / J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm [and others].

Click here for more information about this title

Availability