Yazar: Eerke A. Boiten

Destek

3 Ebooks tarafından Eerke A. Boiten

John Derrick & Eerke A. Boiten: Refinement in Z and Object-Z
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings toget …
PDF
İngilizce
€96.29
Eerke A. Boiten & John Derrick: Refinement in Z and Object-Z
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings toget …
PDF
İngilizce
DRM
€160.92