top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Opera/Pubblicazioni
Espandi
Riduci
Pubblicazioni
Formal Techniques in Real-Time and Fault-Tolerant Systems Proceedings of a Symposium, Warwick, UK, September 22-23, 1988
Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Formal Techniques in Real-Time and Fault-Tolerant Systems
ID:
1944996