Sergio Yovine – författare

Visar alla böcker från författaren Sergio Yovine. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

   Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

   Av Yassine Lakhnech, Sergio Yovine

   Häftad, 2004

   569 kr

   Lägg i varukorg

   This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22-24,2004. The conference united two previously independently - …

2. 

   Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

   Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings

   Av Sergio Yovine, Yassine Lakhnech

   E-bok, 2004

   755 kr

   Lägg i varukorg