Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, September 1996 : proceedings / Bengt Jonsson, Joachim Parrow

Auteur principal collectivité : international symposium on formal techniques in real-time and fault-tolerant systems, 4, 1996, AuteurAuteur secondaire : Jonsson, Bengt, 1957-, Editeur scientifique • Parrow, Joachim, 1956-, Editeur scientifiqueType de document : Livre numériqueCollection : Lecture notes in computer science, 1135Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1996ISBN: 3540616489.ISSN: 0302-9743.Sujet MSC : 68-06, Proceedings, conferences, collections, etc. pertaining to computer scienceEn-ligne : Springerlink Item type: Livre numérique
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.