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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Formal Methods for Multicore Programming by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319189413
Publisher: Springer International Publishing Publication: May 6, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319189413
Publisher: Springer International Publishing
Publication: May 6, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Neural Engineering by
Cover of the book Genome Editing by
Cover of the book Health Risks and Fair Compensation in the Fire Service by
Cover of the book International Conference on Security and Privacy in Communication Networks by
Cover of the book Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance by
Cover of the book Energy Transitions by
Cover of the book Compressed Sensing and Its Applications by
Cover of the book Professional Learning Through Transitions and Transformations by
Cover of the book Bubble Systems by
Cover of the book Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support by
Cover of the book Rediscovering Social Economics by
Cover of the book Data Management Technologies and Applications by
Cover of the book Big-Data Analytics and Cloud Computing by
Cover of the book Empowering Users through Design by
Cover of the book Animals in Tillich's Philosophical Theology by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy