Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... 2004. Revised Lectures | 978-3-54O-23O68-7 (3-54O-23O68-8) | 2004 | F. Corradini |
Ana Maria Bernardo · García Martínez Bernardo · J. M. Bernardo · José M. Bernardo · José Mottola Bernardo Kelz · Lisa M. Bernardo · Lisa Marie Bernardo · M B · M. di Bernardo · M. Grazia Di Bernardo · Manuel Bernardo Abrodos · MANUEL BERNARDO ESPINOZA BARRAGAN · Marco Bernardo · Maria G Bernardo · Maria G. Di Bernardo · Maria Gr. Di Bernardo · Maria Grazia Di Bernardo · Mario Amore, Bernardo Carpiniello, Andrea Fagiolini, Giuseppe Maina, Antonio Vita Alessandro Rossi · Mario Bernardo · Mario Bernardo-Filho · Mario di Bernardo · Mario G. Bernardo · Mark A. de Bernardo · Mark Bernardo · Mary Bernardo · Matthias Di Bernardo · Mauricio Sanders Bernardo Domínguez · MIGUEL BERNARDO ARROYO Y MIGUEL BIOQUE ALCÁZAR · R. M Bernardo · Susan M. Bernardo