marc frappier
Software Specification Methods
EbookSofort lieferbarThis title provides a clear overview of the main methods, and has a practical focus that allows t...
Software Specification Methods
EbookSofort lieferbarThis title provides a clear overview of the main methods, and has a practical focus that allows t...
Abstract State Machines, Alloy, B and Z
EbookSofort lieferbarABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qü ebec,...
Software Specification Methods
EbookSofort lieferbarSoftware Specification Methods provides the formal methods practitioner with a survey of the key ...
Abstract State Machines, Alloy, B and Z
TaschenbuchBezug 11-15ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec,...
Software Specification Methods
TaschenbuchBezug 11-15Objectives of this Book This book is an introduction to a set of software specification methods. ...
- 1