Tools

LEADER 01389cam 22003618a 4500

001 ocm32469531;

003 OCoLC;

005 20141212120708.0;

008 950427s1996 enk b 001 0 eng ;

010 a| 95011111;

020 a| 0133669491 (alk. paper);

035 a| (Sirsi) o32469531;

035 a| (OCoLC)32469531;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.9.S88b| A68 1996;

082 00 a| 620/.0042/0151132| 20;

245 00 a| Applications of formal methods /c| edited by Michael G. Hinchey and Jonathan Bowen.;

300 a| xvii, 447 pages ;c| 25 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. 421-437) and index.;

650 0 a| System design.=| ^A123910;

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

700 1 a| Hinchey, Michael G.q| (Michael Gerard),d| 1969-=| ^A369259;

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

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

596 a| 1;

998 a| 586332;

999 a| QA76.9.S88 A68 1996w| LCc| 1i| 30372009213924d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $45.90r| Ys| Yt| JGESBKu| 10/31/1995x| BOOKz| JSTACKSo| .STAFF. 0;

Applications of formal methods / edited by Michael G. Hinchey and Jonathan Bowen.

Other author	Hinchey, Michael G. (Michael Gerard), 1969-
Other author	Bowen, J. P. (Jonathan Peter), 1956-
Format	Book
Publication Info	London ; New York : Prentice Hall, ©1996.
Description	xvii, 447 pages ; 25 cm.
Subjects	System design. Computer software--Development.

Series	Prentice-Hall International Series in computer science Prentice-Hall international series in computer science. ^A117347
Bibliography note	Includes bibliographical references (p. 421-437) and index.
LCCN	95011111
ISBN	0133669491 (alk. paper)

Applications of formal methods / edited by Michael G. Hinchey and Jonathan Bowen.

Click here for more information about this title