Hybrid and real-time systems : proceedings of the international workshop, HART '97, Grenoble, France, March 26-28, 1997 / Oded Maler

Auteur principal collectivité : HART, '97, 1997, AuteurAuteur secondaire : Maler, Oded, 1957-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 1201Langue : anglais.Éditeur : Berlin : Springer, 1997ISBN: 354062600X.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx, Computer science - Theory of software
68Q60, Computer science - Theory of computing, Specification and verificationEn-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.