Tools

LEADER 01346cam 2200361 a 4500

001 ocm35831028;

003 OCoLC;

005 20141212123303.0;

008 961003s1996 enka 001 0 eng d;

010 a| gb 96077424;

015 a| GB96-77424;

020 a| 0123490405 (pbk) :c| £35.00 : Formerly CIP;

035 a| (Sirsi) o35831028;

035 a| (OCoLC)35831028;

049 a| EREE;

082 04 a| 004.072| 20;

090 a| QA267.3b| .T43 1996;

245 00 a| Teaching and learning formal methods /c| edited by C. Neville Dean and Michael G. Hinchey.;

300 a| xvi, 285 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Academic Press international series in formal methods;

650 0 a| System designx| Study and teaching.=| ^A123910;

650 0 a| Computer softwarex| Developmentx| Study and teaching.=| ^A210127;

700 1 a| Dean, Neville.=| ^A385809;

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

830 0 a| Academic Press international series in formal methods.=| ^A385808;

596 a| 1;

998 a| 610368;

999 a| QA267.3 .T43 1996w| LCc| 1i| 30372009934180d| 4/13/1997l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 3/17/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Teaching and learning formal methods / edited by C. Neville Dean and Michael G. Hinchey.

Other author	Dean, Neville.
Other author	Hinchey, Michael G. (Michael Gerard), 1969-
Format	Book
Publication Info	London : Academic, ©1996.
Description	xvi, 285 pages : illustrations ; 23 cm.
Subjects	System design--Study and teaching. Computer software--Development. --Study and teaching.

Series	Academic Press international series in formal methods Academic Press international series in formal methods. ^A385808
LCCN	gb 96077424
ISBN	0123490405 (pbk) :

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267.3 .T43 1996	✔ Available	Place Hold

Click here for more information about this title