Pengarang: Willem-Paul de Roever

Sokongan

8 Ebooks by Willem-Paul de Roever

David Gries & Willem-Paul de Roever: Programming Concepts and Methods PROCOMET ’98
This book constitutes the Proceedings of the IFIP Working Conference PRO- COMET’98, held 8-12 June 1998 at Shelter Island, N.Y. The conference is organized by the t’wo IFIP TC 2 Working Groups 2.2 Fo …
PDF
Inggeris
DRM
€231.15
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the obje …
PDF
Inggeris
DRM
€57.42
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
Inggeris
DRM
€57.82
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
Inggeris
DRM
€57.99
Frank S.de Boer & Marcello Bonsangue: Formal Methods for Components and Objects
Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has sw …
PDF
Inggeris
DRM
€58.04
Hans Langmaack & Amir Pnueli: Compositionality: The Significant Difference
This book originates from the International Symposium on Compositionality, COMPOS’97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the cur …
PDF
Inggeris
DRM
€115.06
Frank S. de Boer & Marcello M. Bonsangue: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
Inggeris
DRM
€57.76
Marcello M. Bonsangue & Susanne Graf: Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires mor …
PDF
Inggeris
DRM
€57.65