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 /

Zapisane w:

Opis bibliograficzny
organizacja autorów:	FORTE 2001 Cheju-do, Korea, ebrary, Inc
Kolejni autorzy:	Kim, Myungchul
Format:	Elektroniczne Materiały konferencyjne E-book
Język:	angielski
Wydane:	New York : Kluwer Academic, c2001.
Hasła przedmiotowe:	Electronic data processing > Distributed processing > Congresses. Formal methods (Computer science) > Congresses. Electronic books.
Dostęp online:	An electronic book accessible through the World Wide Web; click to view
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...

Wydane c2001.

An electronic book accessible through the World Wide Web; click to view

Elektroniczne Materiały konferencyjne E-book