Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004 | Kaicus Deutschland

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... Notes in Computer Science, 4313, Band 4313)

53.49 EUR 3% Off 54.99 EUR

Marke: Tiziana Margaria
ISBN: 3540489282
MPN: biography