Formal methods for multicore programming [electronic resource] : 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 / Marco Bernardo, Einar Broch Johnsen (eds.).
2015
QA76.76.D47 I58 2015eb
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal methods for multicore programming [electronic resource] : 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 / Marco Bernardo, Einar Broch Johnsen (eds.).
ISBN
9783319189413 electronic book
3319189417 electronic book
9783319189406
3319189417 electronic book
9783319189406
Published
Cham : Springer, 2015.
Language
English
Description
1 online resource (vii, 211 pages) : illustrations.
Item Number
10.1007/978-3-319-18941-3 doi
Call Number
QA76.76.D47 I58 2015eb
Dewey Decimal Classification
005.1
Summary
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.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed May 15, 2015).
Series
Lecture notes in computer science ; 9104.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources