MARKE
Peled, Doron A.
Aktuelle Produkte und gemeldete Gesamtkosten für Peled, Doron A. bei Preiskarussel vergleichen.
- Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114, Band 3114)ab 104,64 €
- Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, ... Notes in Computer Science, 2529, Band 2529)ab 53,49 €
- Software Reliability Methods (Texts in Computer Science)ab 49,98 €
