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
Vain, Jüri
vastutusandmed
John Derrick, Jüri Vain (eds.) [and preface]
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2007
leheküljed
373, [3] p
seeria-sari
Lecture notes in computer science ; 4574
leitav
https://www.ester.ee/record=b2286028*est
märksõna
arvutivõrgud
hajussüsteemid
verifikatsioon
testimine
vormimärksõna
konverentsikogumikud
ISBN
978-3-540-73195-5
keel
inglise