Kai Engelhardt – författare
Visar alla böcker från författaren Kai Engelhardt. Handla med fri frakt och snabb leverans.
2 produkter
Data Refinement
Model-Oriented Proof Methods and their Comparison
Av Willem-Paul de Roever, Kai Engelhardt
Häftad, 2008
972 kr
Lägg i varukorg
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 …
Data Refinement
Model-Oriented Proof Methods and their Comparison
Av Willem-Paul de Roever, Kai Engelhardt
Inbunden, 1998
2214 kr
Lägg i varukorg
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 …
