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

989:-

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

Uppskattad leveranstid 7-11 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

    989:-
  2. bokomslag Formal Methods for Multicore Programming

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    879:-
  3. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

    989:-
  4. bokomslag Formal Methods for Open Object-Based Distributed Systems

    Formal Methods for Open Object-Based ...

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Inbunden

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

    Formal Methods for Open Object-Based ...

    Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

    Pocket

    3899:-
  6. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Eric Madelaine Marcello M Bonsangue

    Pocket

    989:-
  7. bokomslag France in an Era of Global War, 1914-1945

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

    L Broch A Carrol

    Pocket

    759:-
  8. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

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

    Pocket

    989:-
  9. bokomslag Coalgebraic Methods in Computer Science

    Coalgebraic Methods in Computer Science

    Marcello M Bonsangue

    Pocket

    879:-
  10. bokomslag Engaging the Senses: Object-Based Learning in Higher Education

    Engaging the Senses: Object-Based Lea...

    Leonie Hannan Helen J Chatterjee

    Pocket

    749:-

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

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

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

    Formal Methods for Multicore Programming

    Einar Broch Johnsen Marco Bernardo

    Pocket

    879:-
  6. bokomslag Theory and Practice of Formal Methods

    Theory and Practice of Formal Methods

    Erika Brahm, Marcello Bonsangue, Einar Broch Johnsen

    Pocket

    989:-
  7. bokomslag Service-Oriented and Cloud Computing

    Service-Oriented and Cloud Computing

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

    Pocket

    989:-
  8. bokomslag Tests and Proofs

    Tests and Proofs

    Einar Broch Johnsen Sebastian Gabmeyer

    Pocket

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

    Service-Oriented and Cloud Computing

    Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen

    Pocket

    989:-
  10. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Ina Schaefer Einar Broch Johnsen

    Pocket

    989:-