|
|
| Автор: Henri Habrias |
| Издательство: John Wiley & Sons Limited |
| Cтраниц: 1 |
| Формат: PDF |
| Размер: 0 |
| ISBN: 9780470394656 |
| Качество: excellent |
| Язык: |
|
 |
|
Описание:
|
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.
|
Пресс - релиз
string(4) "true"
int(290)
|