Concurrency Verification 1
bokomslag Concurrency Verification
Data & IT

Concurrency Verification

Willem-Paul De Roever • Frank De Boer • Jozef Hooman

Inbunden

4529:-

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

  • 800 sidor
  • 2011
  • Författare: Willem-Paul De Roever, Frank De Boer, Jozef Hooman
  • Format: Inbunden
  • ISBN: 9780521806084
  • Språk: Engelska
  • Antal sidor: 800
  • Utgivningsdatum: 2011-08-10
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Advances in Type-2 Fuzzy Sets and Systems

    Advances in Type-2 Fuzzy Sets and Sys...

    Alireza Sadeghian, Jerry M Mendel, Hooman Tahayori

    2199:-
  2. bokomslag Corporate Finance

    Corporate Finance

    Aswath Damodaran

    Inbunden

    1229:-
  3. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjørner

    Pocket

    749:-
  4. bokomslag Oxford Reading Tree Word Sparks: Level 1+: Class Pack of 48

    Oxford Reading Tree Word Sparks: Leve...

    Pocket

    4529:-
  5. bokomslag Advances in Type-2 Fuzzy Sets and Systems

    Advances in Type-2 Fuzzy Sets and Sys...

    Alireza Sadeghian, Jerry M Mendel, Hooman Tahayori

    Inbunden

    2199:-
  6. bokomslag Models and Analysis of Quasistatic Contact

    Models and Analysis of Quasistatic Co...

    Meir Shillor, Mircea Sofonea, Józef Joachim Telega

    Inbunden

    1429:-
  7. bokomslag Oxford Reading Tree Word Sparks: Level 1: Class Pack of 48

    Oxford Reading Tree Word Sparks: Leve...

    Pocket

    4529:-
  8. bokomslag Orchid Biology

    Orchid Biology

    Joseph Arditti

    Inbunden

    4529:-
  9. bokomslag Collected Readings On Community Development In Singapore

    Collected Readings On Community Devel...

    S Vasoo

    Inbunden

    4529:-
  10. bokomslag Handbook of Research Methods and Applications in Transport Economics and Policy

    Handbook of Research Methods and Appl...

    Chris Nash

    Inbunden

    4529:-

Andra av samma författare

  1. bokomslag Programming Concepts and Methods PROCOMET '98

    Programming Concepts and Methods PROC...

    Willem-Paul De Roever David Gries

    Inbunden

    2909:-
  2. bokomslag Data Refinement

    Data Refinement

    Willem-Paul De Roever

    Pocket

    1129:-
  3. bokomslag Programming Concepts and Methods PROCOMET '98

    Programming Concepts and Methods PROC...

    Willem-Paul De Roever David Gries

    Pocket

    2909:-
  4. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Antonio Cerone Frank De Boer

    Pocket

    819:-
  5. bokomslag Active Object Languages: Current Research Trends

    Active Object Languages: Current Rese...

    Frank De Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan

    Pocket

    1089:-
  6. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjørner

    Pocket

    749:-
  7. bokomslag It's All About Coordination

    It's All About Coordination

    Frank De Boer, Marcello Bonsangue, Jan Rutten

    Pocket

    749:-
  8. bokomslag Current Trends in Concurrency

    Current Trends in Concurrency

    Jacobus W De Bakker, Willem-Paul De Roever, Grzegorz Rozenberg

    Pocket

    1469:-
  9. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Frank S De Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul De Roever

    Pocket

    749:-
  10. bokomslag Formal Methods for Components and Objects

    Formal Methods for Components and Obj...

    Frank S De Boer, Marcello M Bonsangue, Susanne Graf, Willem-Paul De Roever

    Pocket

    749:-