Concurrency Verification 1
bokomslag Concurrency Verification
Data & IT

Concurrency Verification

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

Pocket

1369:-

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:

  • 800 sidor
  • 2012
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: Pocket/Paperback
  • ISBN: 9780521169325
  • Språk: Engelska
  • Antal sidor: 800
  • Utgivningsdatum: 2012-01-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

    Inbunden

    4509:-
  2. Ny
    bokomslag Bio-Based Building Materials - Proceedings of ICBBM 2025

    Bio-Based Building Materials - Procee...

    Sofiane Amziane, Romildo Dias Toledo Filho, M'Hamed Yassin Rajiv Da Gloria, Jonathan Page, M'Hamed Yassin Rajiv Da Gloria

    Inbunden

    3959:-
  3. bokomslag Biopolymeric Nanomaterials

    Biopolymeric Nanomaterials

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

    2939:-
  4. bokomslag Art of Cyber Defense

    Art of Cyber Defense

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

    Inbunden

    2239:-
  5. bokomslag Islamstunde 5

    Islamstunde 5

    Jonas El-Halawany, Hanna Hamed, Hacer Gecgel, Amena Shakir, Ursula Fatima Kowanda-Yassin

    Pocket

    239:-
  6. bokomslag Data Refinement

    Data Refinement

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

    Pocket

    989:-
  7. bokomslag Social Robotics

    Social Robotics

    Shuzhi Sam Ge, Zhuojing Luo, Yanen Wang, Hooman Samani, Ruihang Ji

    Pocket

    839:-
  8. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

    Willem-Paul De Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

    Pocket

    1469:-
  9. bokomslag Routledge Companion to Financial Services Marketing

    Routledge Companion to Financial Serv...

    Tina Harrison, Hooman Estelami, Tina Harrison, Hooman Estelami

    Inbunden

    4639:-
  10. bokomslag Data Refinement

    Data Refinement

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

    Inbunden

    1999:-

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

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

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

    Programming Concepts and Methods PROC...

    Willem-Paul De Roever David Gries

    Pocket

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

    1089:-
  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, Willem-Paul De Roever

    Pocket

    1469:-