Data Refinement 1
bokomslag Data Refinement

Data Refinement

Willem-Paul De Roever • Kai Engelhardt • Willem-Paul De Roever • Kai Engelhardt

Pocket

989:-

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:

  • 436 sidor
  • 2008
Graduate text in formal methods in computer science.
  • Författare: Willem-Paul De Roever, Kai Engelhardt, Willem-Paul De Roever, Kai Engelhardt
  • Format: Pocket/Paperback
  • ISBN: 9780521103503
  • Språk: Engelska
  • Antal sidor: 436
  • Utgivningsdatum: 2008-12-18
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag Scientific Controversies

    Scientific Controversies

    Jr Engelhardt H Tristram, Arthur L Caplan, H Tristram Engelhardt Jr, H Tristram Jr Engelhardt, Jr Engelhardt

    Inbunden

    1519:-
  2. bokomslag Data Refinement

    Data Refinement

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

    Inbunden

    1999:-
  3. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

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

    Pocket

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

    Formal Methods for Components and Obj...

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

    Pocket

    749:-
  5. bokomslag Real-Time: Theory in Practice

    Real-Time: Theory in Practice

    J W De Bakker, C Huizing, W P De Roever, G Rozenberg, J W De Bakker

    Pocket

    1469:-
  6. bokomslag Use of Human Beings in Research

    Use of Human Beings in Research

    S F Spicker, I Alon, A De Vries, H Tristram Engelhardt Jr, S F Spicker

    Inbunden

    2139:-
  7. bokomslag Zusammenleben wollen

    Zusammenleben wollen

    Ioana Viscrianu, Johannes Kronenberg, Ruth Fiona Roever

    Pocket

    439:-
  8. bokomslag Clinical Judgment: A Critical Appraisal

    Clinical Judgment: A Critical Appraisal

    H Tristram Engelhardt Jr, S F Spicker, B Towers, H Tristram Engelhardt Jr, S F Spicker

    Pocket

    729:-
  9. bokomslag Unfallheilkunde Für Die PRAXIS

    Unfallheilkunde Für Die PRAXIS

    Gustav H Engelhardt, Walter Ehalt, P Brüser, Gustav H Engelhardt

    Klotband

    3119:-
  10. bokomslag Wissenschaftliche Veröffentlichungen aus dem Siemens-Konzern

    Wissenschaftliche Veröffentlichungen ...

    Elisabeth Baumann, Richard Becker, Heinrich Von Boul, Viktor Engelhardt, Robert Fellinger

    Pocket

    1079:-

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