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

759:-

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

Uppskattad leveranstid 7-12 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 Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based ...

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Inbunden

    2959:-
  2. bokomslag Engaging the Senses: Object-Based Learning in Higher Education

    Engaging the Senses: Object-Based Lea...

    Leonie Hannan Helen J Chatterjee

    Pocket

    729:-
  3. bokomslag Object-Based Parallel and Distributed Computation

    Object-Based Parallel and Distributed...

    Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa

    Pocket

    759:-
  4. bokomslag Object-Based Learning and Well-Being

    Object-Based Learning and Well-Being

    Helen Chatterjee Thomas Kador

    Pocket

    769:-
  5. bokomslag Object-Based Image Analysis and Treaty Verification

    Object-Based Image Analysis and Treat...

    Gunter Menz Sven Nussbaum

    Inbunden

    1499:-
  6. bokomslag Object-Based Models and Languages for Concurrent Systems

    Object-Based Models and Languages for...

    Paolo Ciancarini, Oscar M Nierstrasz, Akinori Yonezawa

    Pocket

    759:-
  7. bokomslag Engaging the Senses: Object-Based Learning in Higher Education

    Engaging the Senses: Object-Based Lea...

    Leonie Hannan Helen J Chatterjee

    Inbunden

    2649:-
  8. bokomslag Object-Based Concurrent Computing

    Object-Based Concurrent Computing

    Mario Tokoro, Oscar Nierstrasz, Peter Wegner

    Pocket

    759:-
  9. bokomslag Object-Based Distributed Programming

    Object-Based Distributed Programming

    Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill

    Pocket

    759:-
  10. bokomslag Object-Based Learning and Well-Being

    Object-Based Learning and Well-Being

    Helen Chatterjee Thomas Kador

    Inbunden

    2739:-

Andra av samma författare

  1. bokomslag Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software En...

    Manuel Wimmer Einar Broch Johnsen

    Pocket

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

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

    Theoretical Aspects of Computing ICT...

    Marcello M Bonsangue Chutiporn Anutariya

    Pocket

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

    759:-
  6. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

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

    Theory and Practice of Formal Methods

    Erika Brahm, Marcello Bonsangue, Einar Broch Johnsen

    Pocket

    759:-
  8. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

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

    Pocket

    759:-
  9. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

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

    Service-Oriented and Cloud Computing

    Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen

    Pocket

    759:-