Picture 1 of 1

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 (Paperback, 2015)

BOOKS etc. (522051)

99.5% positive Feedback

Price:

£34.71

Free postage

Estimated delivery Fri, 23 May - Sat, 31 May

Returns:

60 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.

Condition:

New

ISBN-13: 9783319189406, 978-3319189406. Publisher: Springer International Publishing AG, Switzerland.

About this product

Product Information

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.

Product Identifiers

PublisherSpringer International Publishing A&G

ISBN-139783319189406

eBay Product ID (ePID)213339930

Product Key Features

Number of Pages211 Pages

Publication NameFormal 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

LanguageEnglish

SubjectComputer Science

Publication Year2015

TypeTextbook

AuthorMarco Bernardo, Einar Broch Johnsen

SeriesLecture Notes in Computer Science

FormatPaperback