Formal Methods for Multicore Programming 1
bokomslag Formal Methods for Multicore Programming
Data & IT

Formal Methods for Multicore Programming

Marco Bernardo • Einar Broch Johnsen

Pocket

739:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 211 sidor
  • 2015
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.
  • Författare: Marco Bernardo, Einar Broch Johnsen
  • Illustratör: Bibliographie 72 schwarz-weiße Abbildungen
  • Format: Pocket/Paperback
  • ISBN: 9783319189406
  • Språk: Engelska
  • Antal sidor: 211
  • Utgivningsdatum: 2015-05-19
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski

    Pocket

    769:-
  2. bokomslag Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based ...

    Einar Broch Johnsen Marcello M Bonsangue

    Pocket

    769:-
  3. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

    769:-
  4. bokomslag France in an Era of Global War, 1914-1945

    France in an Era of Global War, 1914-...

    L Broch A Carrol

    Pocket

    789:-
  5. bokomslag Indigenous World 2017

    Indigenous World 2017

    Kathrine Broch Hansen Kathe Jepsen

    Pocket

    869:-
  6. bokomslag Language Contact in the Arctic

    Language Contact in the Arctic

    Ingvild Broch Ernst Hakon Jahr

    Inbunden

    3249:-
  7. bokomslag Brdrene Karamasov

    Brdrene Karamasov

    Olaf Broch Fyodor Dostoyevsky

    Inbunden

    709:-
  8. bokomslag Carved Flesh / Cast Selves

    Carved Flesh / Cast Selves

    Tone Bleie, Vigdis Broch-Due, I Rudie

    Pocket

    769:-
  9. bokomslag Briefwechsel

    Briefwechsel

    Hermann Broch Hannah Arendt

    Pocket

    389:-
  10. bokomslag Brdrene Karamasov

    Brdrene Karamasov

    Olaf Broch Fyodor Dostoyevsky

    Pocket

    529:-

Andra av samma författare

  1. bokomslag A Process Algebraic Approach to Software Architecture Design

    A Process Algebraic Approach to Softw...

    Alessandro Aldini, Marco Bernardo, Flavio Corradini

    Pocket

    769:-
  2. bokomslag Probabilistic Trace and Testing Semantics

    Probabilistic Trace and Testing Seman...

    Marco Bernardo

    Pocket

    1369:-
  3. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Manuel Wimmer Einar Broch Johnsen

    Pocket

    599:-
  4. bokomslag The Logic of Software. A Tasting Menu of Formal Methods

    The Logic of Software. A Tasting Menu...

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

    Pocket

    1479:-
  5. bokomslag Active Object Languages: Current Research Trends

    Active Object Languages: Current Rese...

    Frank De Boer, Ferruccio Damiani, Reiner Hhnle, Einar Broch Johnsen, Eduard Kamburjan

    Pocket

    1149:-
  6. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

    Pocket

    769:-
  7. bokomslag Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    Erika Brahm, Marcello Bonsangue, Einar Broch Johnsen

    Pocket

    769:-
  8. bokomslag Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Formal Methods for the Quantitative E...

    Marco Bernardo, Rocco De Nicola, Jane Hillston

    Pocket

    769:-
  9. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

    Marco Aiello, Einar Broch Johnsen, Schahram Dustdar, Ilche Georgievski

    Pocket

    769:-
  10. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

    769:-