Derek J. Andrews – författare
Visar alla böcker från författaren Derek J. Andrews. Handla med fri frakt och snabb leverans.
4 produkter
Theory and Practice of Program Development
E-bok, 2012
739 kr
Lägg i varukorg
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the …
Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Av C.A. Middelburg, Jan F. Groote m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the …
Semantics of Specification Languages (SoSL)
Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993
Av Derek J. Andrews, Jan F. Groote m. fl.
Häftad, 1994
567 kr
Lägg i varukorg
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the Department of Philosophy of Utrecht University with financial support from the Nationale Faciliteit Informatica of the …
Theory and Practice of Program Development
Häftad, 1997
567 kr
Lägg i varukorg
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the …
