Tools

LEADER 01586cam a22004098a 4500

001 ocm40535053;

003 OCoLC;

005 20141212132518.0;

008 981214s1998 gw a b 101 0 eng ;

010 a| 98055092;

015 a| GB99-08436;

020 a| 3540654933 (softcover);

035 a| (Sirsi) o40535053;

035 a| (OCoLC)40535053;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.58b| .C639 1997;

082 00 a| 004/.352| 21;

111 2 a| COMPOS '97d| (1997 :c| Malente, Germany)=| ^A418994;

245 10 a| Compositionality :b| the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures /c| Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).;

300 a| 646 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

650 0 a| Parallel processing (Electronic computers)v| Congresses.=| ^A82829;

650 0 a| Automatic theorem provingv| Congresses.=| ^A24746;

700 1 a| Roever, W.-P. de,d| 1943-=| ^A535040;

700 1 a| Langmaack, Hans.=| ^A260837;

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

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

994 a| E0b| ERE;

596 a| 1;

998 a| 658450;

999 a| QA76.58 .C639 1997w| LCc| 1i| 30372010264833d| 12/30/1999l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/18/1999x| BOOKz| JSTACKSo| .STAFF. 0;

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).

Author/creator	COMPOS '97
Other author	Roever, W.-P. de, 1943-
Other author	Langmaack, Hans.
Other author	Pnueli, Amir, 1941-2009.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1998.
Description	646 pages : illustrations ; 24 cm.
Subjects	Parallel processing (Electronic computers)--Congresses. Automatic theorem proving--Congresses.

Series	Lecture notes in computer science ; 1536 Lecture notes in computer science 1536. ^A466336
LCCN	98055092
ISBN	3540654933 (softcover)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.58 .C639 1997	✔ Available	Place Hold

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.).

Click here for more information about this title

Availability