Hoppa till sidans huvudinnehåll

Del 47

Data Refinement

Model-Oriented Proof Methods and their Comparison

Häftad, Engelska, 2008

AvWillem-Paul de Roever,Kai Engelhardt,Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel,Sydney) Engelhardt, Kai (University of Technology

929 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Inbunden

2 129 kr

Skickas inom 7-10 vardagar

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refinement correct. They begin with an explanation of the fundamental notions, showing that data refinement proofs reduce to proving simulation. The book's second part contains a detailed survey of important methods in this field, which are carefully analysed, and shown to be either incomplete, with counterexamples to their application, or to be always applicable whenever data refinement holds. This is shown by proving, for the first time, that all these methods can be described and analysed in terms of two simple notions: forward and backward simulation. The book is self-contained, going from advanced undergraduate level and taking the reader to the state of the art in methods for proving simulation.

Produktinformation

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich

Häftad

1 289 kr

Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, Willem-Paul de Roever, Frank de Boer

Inbunden

3 829 kr

Hoppa över listan

Mer från samma serie

Del 23

Nets, Terms and Formulas

E. -R. Olderog, Germany) Olderog, E. -R. (Carl V. Ossietzky Universitat Oldenburg, E. R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 34

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson, Denmark) Nielson, Flemming (Aarhus Universitet, Denmark) Nielson, Hanne Riis (Aarhus Universitet, C. J. van Rijsbergen

Häftad

859 kr

Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

1 149 kr

Del 40

Free Choice Petri Nets

Jorg Desel, Javier Esparza, Jorg (Humboldt-Universitat zu Berlin) Desel, Javier (University of Edinburgh) Esparza, C. J. van Rijsbergen

Häftad

689 kr

Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

Häftad

779 kr

Del 3

Understanding Z

J. M. Spivey, J. M. (University of Oxford) Spivey, Spivey J. M.

Häftad

599 kr

Hoppa över listan

Du kanske också är intresserad av

Del 47

Data Refinement

Willem-Paul de Roever, Kai Engelhardt, Germany) de Roever, Willem-Paul (Christian-Albrechts Universitat zu Kiel, Sydney) Engelhardt, Kai (University of Technology, W. Deroever, W. -P De Roever, Kai Englehardt

Inbunden

2 129 kr

Del 54

Concurrency Verification

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers, Germany) Roever, Willem-Paul de (Christian-Albrechts Universitat zu Kiel, The Netherlands) Boer, Frank de (Universiteit Utrecht, The Netherlands) Hanneman, Ulrich (Katholieke Universiteit Nijmegen, The Netherlands) Hooman, Jozef (Katholieke Universiteit Nijmegen, Grenoble) Lakhnech, Yassine (Universite Joseph Fourier, The Netherlands) Poel, Mannes (University of Twente, Enschede, The Netherlands) Zwiers, Job (University of Twente, Enschede, de Roever Willem-Paul, de Boer Frank, De Roever Willem-Paul, De Boer Frank, Hanneman Ulrich

Häftad

1 289 kr