Data & IT

Software Specification Methods

Henri Habrias • Marc Frappier

Inbunden

3149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 11-22 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 1499:-

418 sidor
2006

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.

Författare: Henri Habrias, Marc Frappier
Format: Inbunden
ISBN: 9781905209347
Språk: Engelska
Antal sidor: 418
Utgivningsdatum: 2006-04-01
Förlag: ISTE Ltd and John Wiley & Sons Inc