Tools

LEADER 02184cam 22005294a 4500

001 ocm50898597;

003 OCoLC;

005 20141212164923.0;

007 cr un---------;

008 021023s2002 gw a b 101 0 eng ;

010 a| 2002191126;

016 7 a| 9653985012| GyFmDB;

020 a| 3540001417 (alk. paper);

035 a| (Sirsi) o50898597;

035 a| (OCoLC)50898597;

040 a| DLCc| DLCd| OHXd| C$Qd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

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

072 7 a| Q2| lcco;

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 2002 :b| 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /c| Doron A. Peled, Moshe Y. Vardi (eds.).;

246 30 a| FORTE 2002;

246 30 a| 22nd IFIP WG 6.1 international conference;

300 a| xi, 368 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

530 a| Also available via the 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;

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

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

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2529.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har020093314c| 69.55 DEM;

980 a| 2002-12-25b| 74.95d| 4.98e| 71.21f| 130045;

596 a| 1;

998 a| 897115;

999 a| QA76.9.F67 F67 2002w| LCc| 1i| 30372011978407d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $71.21r| Ys| Yt| JGESBKu| 1/14/2003x| BOOKz| JSTACKSo| .STAFF. 0;

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, ©2002.
Description	xi, 368 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Portion of title	FORTE 2002
Portion of title	22nd IFIP WG 6.1 international conference
Series	Lecture notes in computer science ; 2529 Lecture notes in computer science 2529. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002191126
ISBN	3540001417 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.F67 F67 2002	✔ Available	Place Hold

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