Anders P. Ravn - Böcker
Visar alla böcker från författaren Anders P. Ravn.
3 produkter
3 produkter
689 kr
Skickas inom 10-15 vardagar
Formal Techniques in Real-Time and Fault-Tolerant Systems
5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Häftad, Engelska, 1998
709 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Häftad, Engelska, 2009
719 kr
Skickas inom 10-15 vardagar