Tools

LEADER 02424cam 2200577Ia 4500

001 ocm73109158;

003 OCoLC;

005 20141211192851.0;

008 061013s2006 gw a 101 0 eng d;

010 a| 2006933226;

020 a| 3540462198 (pbk.);

020 a| 9783540462194 (pbk.);

020 a| 9783540462194;

029 0 a| OHXb| har065019158;

029 1 a| YDXCPb| 2494610;

035 a| (Sirsi) o73109158;

035 a| (OCoLC)73109158;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA76.9.F67b| F67 2006;

111 2 a| FORTE 2006d| (2006 :c| Paris, France)=| ^A704400;

245 10 a| Formal techniques for networked and distributed systems :b| FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /c| Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.).;

246 30 a| FORTE 2006;

246 30 a| 26th IFIP WG 6.1 International Conference;

246 3 a| Twenty-sixth IFIP WG 6.1 International Conference;

246 30 a| IFIP WG 6.1 International Conference;

300 a| xii, 486 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| 4229,x| 0302-9743 ;;

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| Najm, Elie.=| ^A572921;

700 1 a| Pradat-Peyre, Jean-François.=| ^A704401;

700 1 a| Donzeau-Gouge, Véronique.=| ^A704402;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har065019158c| 88.81 EUR;

938 a| Baker & Taylorb| BKTYc| 109.00d| 109.00i| 3540462198n| 0006971772s| active;

938 a| YBP Library Servicesb| YANKn| 2494610;

980 a| 2006-12-27b| 109d| 0e| 103.55f| 35315;

596 a| 1;

998 a| 1064707;

999 a| QA76.9.F67 F67 2006w| LCc| 1i| 30372014178856d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $103.55r| Ys| Yt| JGESBKu| 1/8/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.).

Author/creator	FORTE 2006
Format	Book
Publication Info	Berlin ; New York : Springer, ©2006.
Description	xii, 486 pages : illustrations ; 24 cm.
Subjects	Formal methods (Computer science)--Congresses. Electronic data processing--Distributed processing. --Congresses. Computer network protocols--Congresses.

Other author/creator	Najm, Elie.
Other author/creator	Pradat-Peyre, Jean-François.
Other author/creator	Donzeau-Gouge, Véronique.
Other author/creator	IFIP Working Group 6.1.
Portion of title	FORTE 2006
Portion of title	26th IFIP WG 6.1 International Conference
Variant title	Twenty-sixth IFIP WG 6.1 International Conference
Portion of title	IFIP WG 6.1 International Conference
Series	Lecture notes in computer science ; 4229, 0302-9743 ; Lecture notes in computer science 4229. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2006933226
ISBN	3540462198 (pbk.)
ISBN	9783540462194 (pbk.)
ISBN	9783540462194

Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.).

Click here for more information about this title