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

Marke: Tiziana Margaria
ISBN: 3540489282
MPN: biography