Opening book details…
Can I read Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures on EtoBox?
Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures by Marco Bernardo, Einar Broch Johnsen (eds.) is a nonfiction available to read on EtoBox.
What is Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures about?
This Book Presents 5 Tutorial Lectures Given By Leading Researchers At The 15th Edition Of The International School On Formal Methods For The Design Of Computer, Communication And Software Systems, Sfm 2015, Held In Bertinoro, Italy, In June 2015. Sfm 2015 Was Devoted To Multicore Programming And Covered Topics Such As Concurrency And Coordination Mechanisms, Architecture And Memory Models And Type Systems. Edited By Marco Bernardo, Einar Broch Johnsen.
Who reads Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Marco Bernardo, Einar Broch Johnsen (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2015
- Language
- EN
- ISBN
- 9783319189413
- Category
- nonfiction
- Subjects
- Computer Science, Science, Engineering
More by Marco Bernardo, Einar Broch Johnsen (eds.)
Browse all works by Marco Bernardo, Einar Broch Johnsen (eds.)
Similar books
- Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures — Gordon S. Blair, Massimo Paolucci, Paul Grace, Nikolaos Georgantas (auth.), Marco Bernardo, Valérie Issarny (2011)
- Formal Methods for Model-Driven Engineering [recurso electrónico] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures — Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (2012)
- Formal Methods for Executable Software Models [recurso electrónico] 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures — Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer (2014)
- Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : Advanced Lectures — Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (2010)
- Formal methods for Web services : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 : advanced lectures — Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (2009)
- Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures — Marco Bernardo, Rocco De Nicola, Jane Hillston (2016)