Anders P. Ravn – författare

Visar alla böcker från författaren Anders P. Ravn. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Hybrid Systems

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

   Häftad, 1993

   551 kr

   Lägg i varukorg

   Hybrid systems are networks of interacting digital andanalog devices. Control systems for inherently unstableaircraft and computer aided manufacturing are typicalapplications for hybrid systems, but due to the rapiddevelopment of processor and circuit technology modern carsand consumer electronics …

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

   567 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book. …

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

   567 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected …

4. 

   Automated Technology for Verification and Analysis

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

   Av Anders P. Ravn, Zhiming Liu

   E-bok, 2009

   755 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected …