Gebundenes Buch

Software Specification Methods

Beschreibung

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.

Autor

Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada

Produktdetails

• Verlag: Wiley
• Seitenzahl: 418
• Erscheinungstermin: 1. April 2006
• Englisch
• Abmessung: 236mm x 161mm x 28mm
• Gewicht: 789g
• ISBN-13: 9781905209347
• ISBN-10: 1905209347
• Artikelnr.: 21697451