Formal techniques for distributed systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings / edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter.

By:

Contributor(s):

Series: Lecture notes in computer science ; 5522Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.Description: xii, 248 p. : ill., digital ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.