Real-time : theory in practice : REX Workshop, Mook, the Netherlands, June 3-7, 1991 : proceedings
In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
600 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Real-time, theory in practice, REX Workshop, Mook, the Netherlands, June 3-7, 1991, proceedings, [ed. par] J.W. de Bakker... [et al.], Berlin, Springer-Verlag, 1992, 1 vol. (viii-723 p.), Lecture notes in computer science, 3-540-55564-1 • Real-Time: Theory in Practice, Texte imprimé, 9783662193747 |