Concurrency Verification 1
bokomslag Concurrency Verification
Data & IT

Concurrency Verification

Willem-Paul De Roever • Frank De Boer • Ulrich Hanneman • Jozef Hooman • Yassine Lakhnech

Inbunden

4829:-

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

Uppskattad leveranstid 3-8 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 800 sidor
  • 2001
This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.
  • Författare: Willem-Paul De Roever, Frank De Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech
  • Format: Inbunden
  • ISBN: 9780521806084
  • Språk: Engelska
  • Antal sidor: 800
  • Utgivningsdatum: 2001-11-26
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Concurrency Verification

    Concurrency Verification

    Willem-Paul De Roever, Frank De Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech

    Pocket

    1379:-
  2. bokomslag World Philosophers on Death

    World Philosophers on Death

    Ciraulo Don Ciraulo

    Pocket

    4829:-
  3. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjørner

    Pocket

    749:-
  4. bokomslag Data Refinement

    Data Refinement

    Willem-Paul De Roever, Kai Engelhardt, Willem-Paul De Roever, Kai Engelhardt

    Pocket

    989:-
  5. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

    Willem-Paul De Roever, Hans Langmaack, Amir Pnueli

    Pocket

    1479:-
  6. bokomslag Biopolymeric Nanomaterials

    Biopolymeric Nanomaterials

    Shamsher S Kanwar, Ashok Kumar Nadda, Tuan Anh Nguyen, Swati Sharma, Yassine Slimani

    Pocket

    2959:-
  7. bokomslag Advances in Structures, Volume 1

    Advances in Structures, Volume 1

    G J Hancock, M A Bradford, T J Wilkinson, B Uy, K J R Rasmussen

    Inbunden

    4829:-
  8. bokomslag Bimonoidal Categories, $E_n$-Monoidal Categories, and Algebraic $K$-Theory (the Set)

    Bimonoidal Categories, $E_n$-Monoidal...

    Niles Johnson Donald Yau

    Pocket

    4829:-
  9. bokomslag CQ Press American Government A to Z Series

    CQ Press American Government A to Z S...

    Inbunden

    4829:-
  10. bokomslag Art of Cyber Defense

    Art of Cyber Defense

    Youssef Baddi, Mohammed Amin Almaiah, Omar Almomani, Yassine Maleh, Yassine Maleh

    Inbunden

    2219:-

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

    2929:-
  2. bokomslag Data Refinement

    Data Refinement

    Willem-Paul De Roever, Kai Engelhardt, Willem-Paul De Roever, Kai Engelhardt

    Pocket

    989:-
  3. bokomslag Data Refinement

    Data Refinement

    Willem-Paul De Roever, Kai Engelhardt, W Deroever, W-P De Roever, Kai Englehardt

    Inbunden

    2289:-
  4. bokomslag Programming Concepts and Methods PROCOMET '98

    Programming Concepts and Methods PROC...

    Willem-Paul De Roever David Gries

    Pocket

    2929:-
  5. bokomslag Software Engineering and Formal Methods

    Software Engineering and Formal Methods

    Antonio Cerone Frank De Boer

    Pocket

    819:-
  6. 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

    1079:-
  7. bokomslag Tool Support for System Specification, Development and Verification

    Tool Support for System Specification...

    Yassine Lakhnech Rudolf Berghammer

    Pocket

    749:-
  8. bokomslag FM 2015: Formal Methods

    FM 2015: Formal Methods

    Frank De Boer Nikolaj Bjørner

    Pocket

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

    It's All About Coordination

    Frank De Boer, Marcello Bonsangue, Jan Rutten

    Pocket

    749:-
  10. bokomslag Current Trends in Concurrency

    Current Trends in Concurrency

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

    Pocket

    1479:-