An edition of Formal Methods for Multicore Programming (2015)

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 and

Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Jo ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 5, 2021 | History
Edit
An edition of Formal Methods for Multicore Programming (2015)

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 and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer London, Limited
Language
English
Pages
211

Check nearby libraries

Buy this book

Subjects

Computer software, development, Software engineering
Edition Availability
Cover of: Formal Methods for Multicore Programming
Formal Methods for Multicore Programming
May 19, 2015, Springer
paperback
Cover of: Formal Methods for Multicore Programming
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
2015, Springer London, Limited
in English

Add another edition?

Book Details

Classifications

Library of Congress
QA75.5-76.95

Edition Identifiers

Open Library
OL34520389M
ISBN 13
9783319189413

Work Identifiers

Work ID
OL20794782W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 5, 2021 Created by ImportBot Imported from Better World Books record