Formal Methods for Distributed Processing 1
bokomslag Formal Methods for Distributed Processing
Data & IT

Formal Methods for Distributed Processing

Howard Bowman • John Derrick

Inbunden

2439:-

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

Andra format:

  • 492 sidor
  • 2016
  • Författare: Howard Bowman, John Derrick
  • Format: Inbunden
  • ISBN: 9780521771849
  • Språk: Engelska
  • Antal sidor: 492
  • Utgivningsdatum: 2016-07-20
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Formal Methods for Distributed Processing

    Formal Methods for Distributed Proces...

    John Derrick Howard Bowman

    879:-
  2. bokomslag Formal Methods for Open Object-based Distributed Systems

    Formal Methods for Open Object-based ...

    John Derrick Howard Bowman

    Inbunden

    2819:-
  3. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Eerke Boiten, John Derrick, Graeme Smith

    Pocket

    749:-
  4. bokomslag Connectionist Models Of Cognition And Perception Ii - Proceedings Of The Eighth Neural Computation And Psychology Workshop

    Connectionist Models Of Cognition And...

    Christophe Lambiouse Howard Bowman

    Inbunden

    3269:-
  5. bokomslag Concurrency Theory

    Concurrency Theory

    Rodolfo Gomez Howard Bowman

    Inbunden

    2199:-
  6. bokomslag Concurrency Theory

    Concurrency Theory

    Rodolfo Gomez Howard Bowman

    2159:-
  7. Ny
    bokomslag Stacken

    Stacken

    Annika Norlin

    Pocket

    115:-
  8. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    79:- (125:-)
  9. bokomslag Art and Making of Arcane

    Art and Making of Arcane

    Elisabeth Vincentelli

    Inbunden

    599:-
  10. Hitster Music Card Game (Svenska)

    Hitster Music Card Game (Svenska)

    Spel, Hitster

    Personalens favorit!

    379:-

Andra av samma författare

  1. bokomslag Formal Methods for Open Object-based Distributed Systems

    Formal Methods for Open Object-based ...

    John Derrick Howard Bowman

    Inbunden

    2819:-
  2. bokomslag Refinement in Z and Object-Z

    Refinement in Z and Object-Z

    Eerke A Boiten John Derrick

    Inbunden

    1469:-
  3. bokomslag Refinement in Z and Object-Z

    Refinement in Z and Object-Z

    Eerke A Boiten John Derrick

    1469:-
  4. bokomslag Concurrency Theory

    Concurrency Theory

    Rodolfo Gomez Howard Bowman

    2159:-
  5. bokomslag Concurrency Theory

    Concurrency Theory

    Rodolfo Gomez Howard Bowman

    Inbunden

    2199:-
  6. bokomslag Refinement

    Refinement

    Eerke Boiten John Derrick

    749:-
  7. bokomslag Refinement

    Refinement

    Eerke Boiten John Derrick

    Inbunden

    749:-
  8. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    Eerke Boiten, John Derrick, Graeme Smith

    Pocket

    749:-
  9. bokomslag Formal Techniques for Networked and Distributed Systems - FORTE 2007

    Formal Techniques for Networked and D...

    Jüri Vain John Derrick

    Pocket

    749:-
  10. bokomslag Integrated Formal Methods

    Integrated Formal Methods

    John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne

    Pocket

    749:-