Azala

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /

Gorde:
Xehetasun bibliografikoak
Egile korporatiboa: FORTE 2001 Cheju-do, Korea, ebrary, Inc
Beste egile batzuk: Kim, Myungchul
Formatua: Baliabide elektronikoa Konferentzia-aktak eBook
Hizkuntza:ingelesa
Argitaratua: New York : Kluwer Academic, c2001.
Gaiak:
Electronic data processing > Distributed processing > Congresses.
Formal methods (Computer science) > Congresses.
Electronic books.
Sarrera elektronikoa:An electronic book accessible through the World Wide Web; click to view
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Deskribapena
Deskribapen fisikoa:xii, 458 p. : ill.
Bibliografia:Includes bibliographical references and index.

Antzeko izenburuak