Tools

LEADER 02003cam 22004694a 4500

001 ocm56756042;

003 OCoLC;

005 20141212181048.0;

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

008 040902s2004 gw a b 101 0 eng ;

010 a| 2004112981;

020 a| 3540232524 (pbk. : alk. paper);

035 a| (Sirsi) o56756042;

035 a| (OCoLC)56756042;

042 a| pcc;

049 a| EREE;

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

111 2 a| FORTE 2004d| (2004 :c| Madrid, Spain)=| ^A589652;

245 10 a| Formal techniques for networked and distributed systems-- FORTE 2004 :b| 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /c| David de Frutos-Escrig, Manuel Núñez, editors.;

300 a| x, 375 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| 3235;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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| Frutos-Escrig, David de.=| ^A589653;

700 1 a| Núñez, Manuelc| (Professor)=| ^A589623;

710 2 a| IFIP Working Group 6.1.=| ^A589654;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3235z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2004-12-22b| 99d| 0e| 94.05f| 510738;

596 a| 1;

998 a| 984668;

999 a| QA76.9.F67 F67 2004w| LCc| 1i| 30372012643729d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $94.05r| Ys| Yt| JGESBKu| 1/13/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.

Author/creator	FORTE 2004
Other author	Frutos-Escrig, David de.
Other author	Núñez, Manuel (Professor)
Other author	IFIP Working Group 6.1.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2004.
Description	x, 375 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.

Series	Lecture notes in computer science ; 3235 Lecture notes in computer science 3235. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004112981
ISBN	3540232524 (pbk. : alk. paper)

Availability

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

Formal techniques for networked and distributed systems-- FORTE 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings / David de Frutos-Escrig, Manuel Núñez, editors.

Click here for more information about this title

Availability