Formal techniques for distributed systems: joint IFIP WG 6.1 international conference, FMOODS/ FORTE 2013, held as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3 - 5, 2013 ; proceedings
Saved in:
Bibliographic Details
Format: Conference Proceeding Book
Language:English
Published: Berlin [u.a.] Springer 2013
Series:Lecture notes in computer science 7892
Subjects:
Physical Description:XIII, 320 S. graph. Darst.
ISBN:9783642385919

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!