2 Електронні книги від Eerke Boiten
Eerke Boiten & John Derrick: Refinement
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to imp …
EPUB
Англійська
DRM
€57.64
Eerke Boiten & John Derrick: Integrated Formal Methods
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory a …
PDF
Англійська
DRM
€57.99