Anders P. Ravn – författare

Visar alla böcker från författaren Anders P. Ravn.

3 produkter

1. 

   Hybrid Systems

   Av Robert L. Grossman, Anil Nerode m. fl.

   Häftad, 1993

   709 kr

   Lägg i varukorg

2. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

   Av Anders P. Ravn, Hans Rischel

   Häftad, 1998

   729 kr

   Lägg i varukorg

3. 

   Automated Technology for Verification and Analysis

   7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

   Av Zhiming Liu, Anders P. Ravn

   Häftad, 2009

   729 kr

   Lägg i varukorg