Formal modeling and analysis of timed systems [ Livre] : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008proceedings / Franck, Cassez ; Claude, Jard
Langue: Anglais.Publication : Berlin : Springer, 2008Description : 1 vol. (XI, 294 p.) ; 24 cmISBN: 9783540857778; 354085777X.Collection: Lecture notes in computer science, 0302-9743, 5215Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Commande automatique | Temps (logique) | Systèmes informatiquesCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Magasin (archives) | F 4 1 CAS (Browse shelf) | Available | F 4 1 Logique mathématique | 015588 |