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)

Allgemein

Marke
Tiziana Margaria
ISBN
Tiziana Margaria 3540489282
MPN
Tiziana Margaria biography

Eigenschaften

Menü