Formal modeling and analysis of timed systems [ Livre] : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008proceedings / Franck, Cassez ; Claude, Jard

Auteur principal collectivité: Formal modeling and analysis of timed systems, FORMATS 2008, International ConferenceCo-auteur: Cassez, Franck;Jard, ClaudeLangue: 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 informatiques
Current 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

Powered by Koha