Tools

LEADER 02392cam a22004814a 4500

001 ssj0000322003;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 981214s1998 gw a sb 101 0 eng d;

010 a| 98055092;

020 a| 3540654933 (softcover);

035 a| (WaSeSS)ssj0000322003;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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| Compositionalityh| [electronic resource] :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.).;

260 a| Berlin ;a| New York :b| Springer,;

300 a| 646 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science ;v| 1536;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| Parallel processing (Electronic computers)x| Congresses.=| ^A123911;

650 0 a| Automatic theorem provingx| Congresses.=| ^A88007;

655 0 a| Electronic books.=| ^A491897;

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;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-49213-5;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-65493-3;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4023302;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023302-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023302-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4023302-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

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	Electronic
Publication Info	Berlin ; New York : Springer,
Description	646 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Parallel processing (Electronic computers)--Congresses. Automatic theorem proving--Congresses.

Series	Lecture notes in computer science ; 1536
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	98055092
ISBN	3540654933 (softcover)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from Springer Books Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)	✔ Available

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