Formal Methods for Multicore Programming View on Open Library

Formal Methods for Multicore Programming

by Marco Bernardo , Einar Broch Johnsen

No reviews yet
First published: 2015 1 language ISBN: 9783319189413
Subjects
Computer software, development Software engineering

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Marco Bernardo

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Formal Methods for the Quantitative Eval...

Formal Methods for Dynamical Systems

Formal Methods for Dynamical Systems

Formal Methods for Executable Software Models

Formal Methods for Executable Software M...

Formal Methods for Eternal Networked Software Systems

Formal Methods for Eternal Networked Sof...

Formal Methods for the Design of Real-Time Systems

Formal Methods for the Design of Real-Ti...

Formal Methods for Quantitative Aspects of Programming Languages

Formal Methods for Quantitative Aspects ...

You Might Also Like

More in Computer software, d...
Advances in Computers, Volume 49 (Advances in Computers)

Advances in Computers, Volume 49 (Advanc...

Marvin V. Zelkowitz
Interactive Computing Series

Interactive Computing Series

Kenneth C. Laudon
Patterns

Patterns

IBM Redbooks
Advances in Computers

Advances in Computers

Atif Memon
Flash Mobile

Flash Mobile

Matthew David
SAS(R) 9.1.3 Intelligence Platform

SAS(R) 9.1.3 Intelligence Platform

SAS Publishing