Formal Methods for Open Object-Based Distributed Systems 1
bokomslag Formal Methods for Open Object-Based Distributed Systems
Data & IT

Formal Methods for Open Object-Based Distributed Systems

Marcello M Bonsangue • Einar Broch Johnsen

Pocket

769:-

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:-

  • 317 sidor
  • 2007
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007. The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.
  • Författare: Marcello M Bonsangue, Einar Broch Johnsen
  • Illustratör: Illustrations
  • Format: Pocket/Paperback
  • ISBN: 9783540729198
  • Språk: Engelska
  • Antal sidor: 317
  • Utgivningsdatum: 2007-05-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

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 Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    739:-
  3. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Eric Madelaine Marcello M Bonsangue

    Pocket

    769:-
  4. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

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

    Formal Methods for Open Object-Based ...

    Elie Najm, Uwe Nestmann, Perdita Stevens

    Pocket

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

    Formal Methods for Open Object-Based ...

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Inbunden

    2999:-
  7. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Marcello M Bonsangue, Susanne Graf, Willem-Paul De Roever

    Pocket

    769:-
  8. bokomslag Engaging the Senses: Object-Based Learning in Higher Education

    Engaging the Senses: Object-Based Lea...

    Leonie Hannan Helen J Chatterjee

    Pocket

    729:-
  9. bokomslag Coalgebraic Methods in Computer Science

    Coalgebraic Methods in Computer Science

    Marcello M Bonsangue

    Pocket

    739:-
  10. bokomslag France in an Era of Global War, 1914-1945

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

    L Broch A Carrol

    Pocket

    789:-

Andra av samma författare

  1. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Manuel Wimmer Einar Broch Johnsen

    Pocket

    599:-
  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 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:-
  4. Kommande
    bokomslag Theoretical Aspects of Computing ICTAC 2024

    Theoretical Aspects of Computing ICT...

    Marcello M Bonsangue Chutiporn Anutariya

    Pocket

    1529:-
  5. 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:-
  6. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    739:-
  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 Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

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

    Pocket

    769:-
  9. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

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

    Service-Oriented and Cloud Computing

    Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen

    Pocket

    769:-