We a good story
Quick delivery in the UK

Software Specification Methods

About Software Specification Methods

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

Show more
  • Language:
  • English
  • ISBN:
  • 9781905209347
  • Binding:
  • Hardback
  • Pages:
  • 418
  • Published:
  • April 17, 2006
  • Dimensions:
  • 161x243x30 mm.
  • Weight:
  • 789 g.
Delivery: 2-4 weeks
Expected delivery: May 31, 2025

Description of Software Specification Methods

This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.

User ratings of Software Specification Methods



Find similar books
The book Software Specification Methods can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.