Text

Formal Methods for Multicore Programming

---

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.

---

Availability

No copy data

Detail Information

Series Title

Lecture Notes in Computer Science

Call Number

-

Publisher

Cham : Springer., 2015

Collation

VII, 211 hlm.

Language

English

ISBN/ISSN

9783319189413

Classification

NONE

Content Type

-

Media Type

-

Carrier Type

online resource

Edition

-

Subject(s)

Software Engineering

Specific Detail Info

-

Statement of Responsibility

Marco Bernardo, Einar Broch Johnsen

Other Information

Cataloger

Jemadi

Source

https://link.springer.com/content/pdf/10.1007/978-3-319-18941-3.pdf?pdf=button

Validator

Jemadi

Digital Object Identifier (DOI)

-

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment