Bernardo, Marco books & textbook
Marcos Chaves: It Looked and I Looked Back
Marta, Karen Chaves, Marcos Duarte, Luisa Mosqueira, Bernardo
KMEC Books /2024-07-16 Hardcover / 247 Pages
isbn-10: 1736840843 / isbn-13: 9781736840849
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, ... (Lecture Notes in Computer Science, 5569)
Bernardo, Marco Padovani, Luca Zavattaro, Gianluigi
Springer /2009-05-12 Paperback / 348 Pages
isbn-10: 364201917X / isbn-13: 9783642019173
Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software ... (Lecture Notes in Computer Science, 5016)
Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi
Springer /2008-05-20 Paperback / 537 Pages
isbn-10: 3540688927 / isbn-13: 9783540688921
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 2804)
Bernardo, Marco Inverardi, Paola
Springer /2003-09-12 Paperback / 296 Pages
isbn-10: 3540200835 / isbn-13: 9783540200833
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Lecture Notes in Computer Science, 9700)
Bernardo, Marco De Nicola, Rocco Hillston, Jane
Springer /2016-06-12 Paperback / 268 Pages
isbn-10: 3319340956 / isbn-13: 9783319340951
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... (Programming and Software Engineering)
Bernardo, Marco de Vink, Erik Di Pierro, Alessandra Wiklicky, Herbert
Springer /2013-06-07 Paperback / 189 Pages
isbn-10: 3642388736 / isbn-13: 9783642388736
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Bernardo, Marco Cimatti, Alessandro
Springer /2006-05-15 Paperback / 252 Pages
isbn-10: 3540343040 / isbn-13: 9783540343042
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3465)
Bernardo, Marco Bogliolo, Alessandro
Springer /2008-06-13 Paperback / 280 Pages
isbn-10: 3540256970 / isbn-13: 9783540256977
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software ... (Lecture Notes in Computer Science, 7320)
Bernardo, Marco Cortellessa, Vittorio Pierantonio, Alfonso
Springer /2012-06-14 Paperback / 446 Pages
isbn-10: 364230981X / isbn-13: 9783642309816
Italian Pop Culture: Media, Products, Imageries (Kent State University European Studies)
Biondi, Paolo Bracci, Marco Buonanno, Milly Corsini, Fabio Monceri, Flavia Natale, Anna Lucia Peluffo, Nicoletta Stasiowski, Kristin Tabasso, Edoardo Valli, Bernardo Corsini, Fabio
Viella /2018-06-15 Paperback / 192 Pages
isbn-10: 886728939X / isbn-13: 9788867289394
