Bokus
Sergio Yovine, Yassine Lakhnech - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, E-bok

E-bok, Engelska, 2004

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

755 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Beskrivning
Produktinformation
  • Utgivningsdatum: 2004-12-07
  • Språk: Engelska
  • Filformat: PDF
  • Kopieringsskydd: LCP
  • ISBN: 9783540302063
  • Förlag: Springer Berlin Heidelberg
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.