Gå direkte til innholdet
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Spar

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

Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
Undertittel
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
ISBN
9783540302063
Språk
Engelsk
Utgivelsesdato
7.12.2004
Tilgjengelige elektroniske format
  • PDF - Adobe DRM
Les e-boka her
  • E-bokleser i mobil/nettbrett
  • Lesebrett
  • Datamaskin