Data Refinement 1
bokomslag Data Refinement
Data & IT

Data Refinement

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

Inbunden

1999:-

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

Uppskattad leveranstid 5-10 arbetsdagar

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

  • 436 sidor
  • 1998
Graduate text in formal methods in computer science.
  • Författare: Willem-Paul De Roever, Kai Engelhardt, W Deroever, W-P De Roever, Kai Englehardt
  • Format: Inbunden
  • ISBN: 9780521641708
  • Språk: Engelska
  • Antal sidor: 436
  • Utgivningsdatum: 1998-12-03
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Engineering Ethics

    Engineering Ethics

    Pritchard, Michael;Harris, Jr., Charles; Rabins, Michael J.; James, Ray; Englehardt, Elaine

    Pocket

    1269:-
  2. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

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

    Pocket

    1469:-
  3. bokomslag Splinter

    Splinter

    S N Humphreys, S N Humphreys, S N Humphreys, Wp Quigley, Ds Vernon

    Pocket

    229:-
  4. bokomslag Accommodating Marginalized Students in Higher Education

    Accommodating Marginalized Students i...

    Wp Wahl, Louis H Falik, Louis H Falik, Wp Wahl

    Pocket

    729:-
  5. 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:-
  6. bokomslag Ancient West Mexicos

    Ancient West Mexicos

    Joshua D Englehardt, Verenice Y Heredia Espinoza, Christopher S Beekman, Verenice Y Heredia Espinoza, Joshua D Englehardt

    2059:-
  7. bokomslag Ethical Challenges of Academic Administration

    Ethical Challenges of Academic Admini...

    Elaine E Englehardt, Michael S Pritchard, Kerry D Romesburg, Brian Schrag, Elaine E Englehardt

    Inbunden

    1429:-
  8. bokomslag Allgemeine BWL

    Allgemeine BWL

    Birga Döring, Tim Döring, Wolfgang Harmgardt, Axel Lange, Kai Michaelsen

    Pocket

    769:-
  9. bokomslag Data Refinement

    Data Refinement

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

    Pocket

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

    Formal Methods for Components and Obj...

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

    Pocket

    749:-

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 Concurrency Verification

    Concurrency Verification

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

    Pocket

    1369:-
  3. bokomslag Concurrency Verification

    Concurrency Verification

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

    Inbunden

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

    Programming Concepts and Methods PROC...

    Willem-Paul De Roever David Gries

    Pocket

    2919:-
  5. 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:-
  6. 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, Frank S De Boer

    Pocket

    749:-
  7. 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:-
  8. 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, Frank S De Boer

    Pocket

    749:-
  9. 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, Frank S De Boer

    Pocket

    749:-
  10. bokomslag Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

    Linear Time, Branching Time and Parti...

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

    Pocket

    1469:-