Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
autor
Derrick, John
vastutusandmed
John Derrick, Jüri Vain (eds.) [and preface]
ilmumiskoht
Berlin
kirjastus/väljaandja
ilmumisaasta
leheküljed
373, [3] p
seeria-sari
Lecture notes in computer science ; 4574
vormimärksõna
ISBN
978-3-540-73195-5
keel
inglise
Derrick, J., Vain, J. (eds.). Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings. Berlin : Springer, 2007. 373, [3] p. (Lecture notes in computer science ; 4574).