Software Specification Methods: An Overview Using a Case Study by Marc Frappier
122,37 €
By Marc Frappier, Henri Habrias. Edited by Marc Frappier. I State-Based Approaches. - 1 Z: A Formal Specification Notation. - 4 From OMT Diagrams to B Specifications. - II Event-Based Approaches. - 9 SDL: A Language Based on Extended Finite State Machines with Abstract Data Types.
Jetzt bei Ebay:
