Tools

LEADER 02520cam 22004934a 4500

001 ssj0000323237;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 030909s2003 gw a sb 101 0 eng d;

010 a| 2003062850;

020 a| 3540201750 (alk. paper);

035 a| (WaSeSS)ssj0000323237;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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

082 00 a| 004/.01/512| 22;

111 2 a| FORTE 2003d| (2003 :c| Berlin, Germany)=| ^A566522;

245 10 a| Formal techniques for networked and distributed systems, FORTE 2003h| [electronic resource] :b| 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /c| Hartmut König, Monika Heiner, Adam Wolisz (eds.).;

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

300 a| xii, 429 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 2767;

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| König, Hartmut,c| Prof. Dr.-Ing. habil.?| UNAUTHORIZED;

700 1 a| Heiner, Monika,d| 1954-=| ^A566524;

700 1 a| Wolisz, Adam.=| ^A566525;

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%2F11965;

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-20175-5;

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

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

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

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

Formal techniques for networked and distributed systems, FORTE 2003 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / Hartmut König, Monika Heiner, Adam Wolisz (eds.).

Author/creator	FORTE 2003
Other author	König, Hartmut, Prof. Dr.-Ing. habil.
Other author	Heiner, Monika, 1954-
Other author	Wolisz, Adam.
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xii, 429 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	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2767
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	2003062850
ISBN	3540201750 (alk. paper)

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

Formal techniques for networked and distributed systems, FORTE 2003 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / Hartmut König, Monika Heiner, Adam Wolisz (eds.).

Click here for more information about this title

Availability