Tools

LEADER 01327cam 2200349 a 4500

001 ocm36713413;

003 OCoLC;

005 20141212124518.0;

008 970318s1996 si a b 100 0 eng ;

010 a| 97129099;

020 a| 981022804X;

035 a| (Sirsi) o36713413;

035 a| (OCoLC)36713413;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| QA76.758b| .L54 1996;

082 00 a| 005.1/01/51132| 21;

245 00 a| Logic and software engineering :b| international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 /c| editors, A. Pnueli, H. Lin.;

300 a| viii, 311 pages :b| illustrations ;c| 23 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references.;

650 0 a| Software engineeringv| Congresses.=| ^A224279;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

700 1 a| Tang, Chih-Sung,d| 1925-=| ^A392900;

700 1 a| Pnueli, Amir,d| 1941-2009.=| ^A253226;

700 1 a| Lin, H.q| (Huimin)=| ^A392901;

596 a| 1;

998 a| 621712;

999 a| QA76.758 .L54 1996w| LCc| 1i| 30372009616886d| 2/19/2013e| 2/12/2007f| 2/19/2013g| 2l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 10/27/1997x| BOOKz| JSTACKSo| .STAFF. 0;

Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 / editors, A. Pnueli, H. Lin.

Other author	Tang, Chih-Sung, 1925-
Other author	Pnueli, Amir, 1941-2009.
Other author	Lin, H. (Huimin)
Format	Book
Publication Info	Singapore ; New Jersey : World Scientific, ©1996.
Description	viii, 311 pages : illustrations ; 23 cm
Subjects	Software engineering--Congresses. Logic, Symbolic and mathematical--Congresses.

Bibliography note	Includes bibliographical references.
LCCN	97129099
ISBN	981022804X

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.758 .L54 1996	✔ Available	Place Hold

Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 / editors, A. Pnueli, H. Lin.

Click here for more information about this title

Availability