Tools

LEADER 02429cam 22004814a 4500

001 ssj0000323239;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 021023s2002 gw a sb 101 0 eng d;

010 a| 2002191126;

020 a| 3540001417 (alk. paper);

035 a| (WaSeSS)ssj0000323239;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.9.F67b| F67 2002;

082 00 a| 004.01/512| 21;

111 2 a| FORTE 2002d| (2002 :c| Houston, Tex.)=| ^A529723;

245 10 a| Formal techniques for networked and distributed systems--FORTE 2002h| [electronic resource] :b| 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /c| Doron A. Peled, Moshe Y. Vardi (eds.).;

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

300 a| xi, 368 p. :b| ill. ;c| 24 cm.;

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

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| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Electronic data processingx| Distributed processingv| Congresses.=| ^A419097;

650 0 a| Computer network protocolsv| Congresses.=| ^A179379;

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

700 1 a| Peled, Doron A.,d| 1962-=| ^A422536;

700 1 a| Vardi, Moshe Y.=| ^A375849;

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-00141-6;

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-36135-9;

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| 4085190;

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

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

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

Formal techniques for networked and distributed systems--FORTE 2002 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).

Author/creator	FORTE 2002
Other author	Peled, Doron A., 1962-
Other author	Vardi, Moshe Y.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xi, 368 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental Content	Full text available from Springer Books
Subjects	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Series	Lecture notes in computer science ; 2529
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	2002191126
ISBN	3540001417 (alk. paper)

Availability

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

Formal techniques for networked and distributed systems--FORTE 2002 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.).

Click here for more information about this title

Availability