Active Object Languages: Current Research Trends 1
bokomslag Active Object Languages: Current Research Trends
Data & IT

Active Object Languages: Current Research Trends

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

Pocket

1169:-

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

Uppskattad leveranstid 5-9 arbetsdagar

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

  • 375 sidor
  • 2024
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
  • Författare: Frank De Boer, Ferruccio Damiani, Reiner Hhnle, Einar Broch Johnsen, Eduard Kamburjan
  • Format: Pocket/Paperback
  • ISBN: 9783031510595
  • Språk: Engelska
  • Antal sidor: 375
  • Utgivningsdatum: 2024-01-29
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Formal Methods for Executable Software Models

    Formal Methods for Executable Softwar...

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

    Pocket

    989:-
  2. 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:-
  3. bokomslag Institutional Change in the Public Sphere

    Institutional Change in the Public Sp...

    Fredrik Engelstad, Hakon Larsen, Jon Rogstad, Kari Steen-Johnsen

    Inbunden

    2149:-
  4. bokomslag Handbook of Tableau Methods

    Handbook of Tableau Methods

    M D'Agostino, Dov M Gabbay, Reiner Hhnle, J Posegga

    Pocket

    3899:-
  5. bokomslag Reform des Interventionsprozesses

    Reform des Interventionsprozesses

    Ernst Cohn, James Goldschmidt, Heinrich Gerland, August Hegler, Eduard Kohlrausch

    Pocket

    909:-
  6. bokomslag Mathematical Thermodynamics of Complex Fluids

    Mathematical Thermodynamics of Comple...

    John M Ball, Eduard Feireisl, Elisabetta Rocca, Eduard Feireisl, Eduard Feireisl

    Pocket

    879:-
  7. bokomslag Handbook of Tableau Methods

    Handbook of Tableau Methods

    M D'Agostino, Dov M Gabbay, Reiner Hhnle, J Posegga

    Inbunden

    3899:-
  8. bokomslag Compact Moduli Spaces and Vector Bundles

    Compact Moduli Spaces and Vector Bundles

    Valery Alexeev, Angela Gibney, Elham Izadi, Janos Kollar, Eduard Looijenga

    Pocket

    2619:-
  9. bokomslag Virtual Reality and Mixed Reality

    Virtual Reality and Mixed Reality

    Gabriel Zachmann, Krzysztof Walczak, Omar A Niamut, Kyle Johnsen, Wolfgang Stuerzlinger

    Pocket

    1099:-
  10. bokomslag Textbook of Applied Medical Psychology

    Textbook of Applied Medical Psychology

    Susanne S Pedersen, Kirsten K Roessler, Tonny Elmose Andersen, Anna Thit Johnsen, Frans Pouwer

    Pocket

    769:-

Andra av samma författare

  1. bokomslag Automated Deduction in Multiple-Valued Logics

    Automated Deduction in Multiple-Value...

    Reiner Hhnle

    Inbunden

    2969:-
  2. bokomslag Handbook of Tableau Methods

    Handbook of Tableau Methods

    M D'Agostino, Dov M Gabbay, Reiner Hhnle, J Posegga

    Inbunden

    3899:-
  3. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Reiner Hhnle Wil Van Der Aalst

    Pocket

    979:-
  4. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Reiner Hhnle Wil Van Der Aalst

    Inbunden

    1049:-
  5. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Wil Van Der Aalst Reiner Hhnle

    Pocket

    989:-
  6. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Antonio Cerone Frank De Boer

    Pocket

    1099:-
  7. bokomslag Deductive Software Verification: Future Perspectives

    Deductive Software Verification: Futu...

    Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich

    Pocket

    989:-
  8. bokomslag Coordination Models and Languages

    Coordination Models and Languages

    Ornela Dardha Ferruccio Damiani

    Pocket

    989:-
  9. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Manuel Wimmer Einar Broch Johnsen

    Pocket

    599:-
  10. 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:-