Bücher nach ISBN

Marco Bernardo

M. Bernardo · Marc Bernard · Marc Bernardin · Mark Barnard · Mark Bremer · Mark Brownrigg · Maurice Bernard · Maurice Bernart

Springer, Berlin

TitelISBN-13Erschei-
nungsjahr		andere Autoren
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures978-3-540-25697-72005Alessandro Bogliolo
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the: 7th International School on Formal Methods for the ... Lectures978-3-540-72482-72007Jane Hillston
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Lectures978-3-540-20083-32003Paola Inverardi
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software ... SFM-RT 2004. Revised Lectures978-3-540-23068-72004Flavio Corradini
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... Lectures978-3-642-01917-32009Luca Padovani · Gianluigi Zavattaro

Marco Bertin