Formal Techniques for Networked and Distributed Systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference : Tallinn, Estonia, June 27-29, 2007 : proceedings
author
Derrick, John
Vain, Jüri
statement of authorship
John Derrick, Jüri Vain (eds.) [and preface]
location of publication
Berlin
publisher
Springer
year of publication
2007
pages
373, [3] p
series
Lecture notes in computer science ; 4574
url
https://www.ester.ee/record=b2286028*est
subject term
arvutivõrgud
hajussüsteemid
verifikatsioon
testimine
subject of form
konverentsikogumikud
ISBN
978-3-540-73195-5
language
inglise