Tools

LEADER 01939cam 22004814a 4500

001 ocm53038496;

003 OCoLC;

005 20141212173310.0;

008 030909s2003 gw a b 101 0 eng ;

010 a| 2003062850;

015 a| GBA3-74703;

020 a| 3540201750 (alk. paper);

035 a| (Sirsi) o53038496;

035 a| (OCoLC)53038496;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

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 2003 :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.;

300 a| xii, 429 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

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| König, Hartmut,d| 1950-=| ^A566523;

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

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

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har035032044c| 77.04 EUR;

980 a| 2003-12-10b| 95d| 6.32e| 90.25f| 304794;

596 a| 1;

998 a| 931920;

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

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, 1950-
Other author	Heiner, Monika, 1954-
Other author	Wolisz, Adam.
Format	Book
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xii, 429 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Series	Lecture notes in computer science ; 2767 Lecture notes in computer science 2767. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2003062850
ISBN	3540201750 (alk. paper)

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