Tools

LEADER 01317cam 2200373 a 4500

001 ocm28336648;

003 OCoLC;

005 20141212112320.0;

008 930607s1993 enk 000 0 eng d;

010 a| gb 93030154;

015 a| GB93-30154;

020 a| 0521450551 :c| £27.95 : Formerly CIP;

035 a| (Sirsi) o28336648;

035 a| (OCoLC)30033104;

049 a| EREE;

082 04 a| 0042| 20;

090 a| QA76.54b| .D38 1993;

100 1 a| Davies, Jim.=| ^A322151;

245 10 a| Specification and proof in real-time CSP /c| Jim Davies.;

260 a| Cambridge :b| Cambridge University Press,c| 1993.;

300 a| xvii, 180 pages ;c| 26 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Distinguished dissertations in computer science;

502 a| Originally presented as Ph.D. thesis.;

504 a| Bibliography: p. 175-180.;

650 0 a| Real-time data processing.=| ^A65974;

650 0 a| Sequential machine theory.=| ^A59273;

830 0 a| Distinguished dissertations in computer science.=| ^A303261;

596 a| 1;

998 a| 544534;

999 a| QA76.54 .D38 1993w| LCc| 1i| 30372008180975d| 2/8/2013e| 12/20/1996f| 2/8/2013g| 1l| JGESm| JOYNERn| 1p| $49.95r| Ys| Yt| JGESBKu| 12/1/1993x| BOOKz| JSTACKSo| .STAFF. 0;

Specification and proof in real-time CSP / Jim Davies.

Author/creator	Davies, Jim
Format	Book
Publication Info	Cambridge : Cambridge University Press, 1993.
Description	xvii, 180 pages ; 26 cm.
Subjects	Real-time data processing. Sequential machine theory.

Series	Distinguished dissertations in computer science Distinguished dissertations in computer science. ^A303261
Dissertation note	Originally presented as Ph.D. thesis.
Bibliography note	Bibliography: p. 175-180.
LCCN	gb 93030154
ISBN	0521450551 :

Specification and proof in real-time CSP / Jim Davies.

Click here for more information about this title