Tools

LEADER 01685cam 2200421 a 4500

001 ocm39217572;

003 OCoLC;

005 20141212131024.0;

008 980512s1998 enkac b 001 0 eng ;

010 a| 98024731;

020 a| 0521641705 (hb);

035 a| (Sirsi) o39217572;

035 a| (OCoLC)39217572;

040 a| DLCc| DLCd| C#Pd| UtOrBLW;

049 a| EREE;

050 00 a| QA79.9.C65b| R64 1998;

050 4 a| QA76.9.C65b| R64 1998;

082 00 a| 003.32| 21;

092 a| 003.3b| R62d;

100 1 a| Roever, W. P. deq| (Willem Paul)=| ^A409411;

245 10 a| Data refinement :b| model-oriented proof methods and their comparison /c| Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others].;

260 a| Cambridge ;a| New York :b| Cambridge University Press,c| 1998.;

300 a| xi, 423 pages :b| illustrations, portraits ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Cambridge tracts in theoretical computer science ;v| 47;

504 a| Includes bibliographical references (p. 404-418) and index.;

650 0 a| Computer simulation.=| ^A72820;

650 0 a| Data structures (Computer science)=| ^A27146;

650 0 a| Computer programsx| Verification.=| ^A118080;

700 1 a| Engelhardt, Kai,d| 1966-=| ^A409412;

700 1 a| Buth, Karl-Heinz.=| ^A409413;

830 0 a| Cambridge tracts in theoretical computer science ;v| 47.=| ^A221007;

590 a| Little-311910--305131020392T;

596 a| 1 2;

998 a| 644942;

999 a| QA79.9.C65 R64 1998w| LCc| 1i| 30372010282561d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $58.76r| Ys| Yt| JGESBKu| 3/19/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others].

Author/creator	Roever, W. P. de
Other author	Engelhardt, Kai, 1966-
Other author	Buth, Karl-Heinz.
Format	Book
Publication Info	Cambridge ; New York : Cambridge University Press, 1998.
Description	xi, 423 pages : illustrations, portraits ; 24 cm.
Subjects	Computer simulation. Data structures (Computer science) Computer programs--Verification.

Series	Cambridge tracts in theoretical computer science ; 47 Cambridge tracts in theoretical computer science ; 47. ^A221007
Local note	Little-311910--305131020392T
Bibliography note	Includes bibliographical references (p. 404-418) and index.
LCCN	98024731
ISBN	0521641705 (hb)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA79.9.C65 R64 1998	✔ Available	Place Hold

Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others].

Click here for more information about this title

Availability