Tools

LEADER 01476cam 2200373 a 4500

001 ocm10404589;

005 20141212085350.0;

008 840120s1984 wb a b 100 0 eng ;

010 a| 84003123;

020 a| 0387128964 (U.S. : pbk.);

035 a| (Sirsi) o10404589;

035 a| (OCoLC)10404589;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.6b| .L595 1984;

082 0 a| 001.64/22| 19;

245 00 a| Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /c| edited by Edmund Clarke and Dexter Kozen.;

260 a| Berlin ;a| New York :b| Springer-Verlag,c| 1984.;

300 a| vi, 527 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 164;

500 a| Proceedings of the Logics of Programs Workshop.;

504 a| Includes bibliographies.;

650 0 a| Computer programmingv| Congresses.=| ^A34403;

700 1 a| Clarke, Edmund.=| ^A198395;

700 1 a| Kozen, Dexter,d| 1951-=| ^A198396;

711 2 a| Logics of Programs Workshopd| (1983 :c| Carnegie Mellon University)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 164.=| ^A466336;

919 a| BOOK;

596 a| 1;

998 a| 275033;

999 a| QA76.6 .L595 1984w| LCc| 1i| 30372004102833d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 2/8/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen.

Other author	Clarke, Edmund.
Other author	Kozen, Dexter, 1951-
Other author	Logics of Programs Workshop (1983 : Carnegie Mellon University)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, 1984.
Description	vi, 527 pages : illustrations ; 25 cm.
Subjects	Computer programming--Congresses.

Series	Lecture notes in computer science ; 164 Lecture notes in computer science 164. ^A466336
General note	Proceedings of the Logics of Programs Workshop.
Bibliography note	Includes bibliographies.
LCCN	84003123
ISBN	0387128964 (U.S. : pbk.)

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / edited by Edmund Clarke and Dexter Kozen.

Click here for more information about this title