Software Specification Methods
E-bok
Engelska, 20132 412 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Abstract State Machines, Alloy, B and Z
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Häftad, 2010
561 kr
Abstract State Machines, Alloy, B and Z
Steve Reeves, Regine Laleau, Sarfraz Khurshid, Uwe Glasser, Marc Frappier
E-bok
2010708 kr
- -19%
- Signerad!
Del 4
- Nyhet
Del 2
- 4 för 3