Tallenna
Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
e-kirja, 1995
englanti
Lue Adobe DRM-yhteensopivassa e-kirjojen lukuohjelmassaTämä e-kirja on kopiosuojattu Adobe DRM:llä, mikä vaikuttaa siihen, millä alustalla voit lukea kirjaa. Lue lisää
This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic specification. Applications include information systems, distributed systems, and real-time systems. One of the major themes in the book is the motivation to bring formal specification techniques one step further towards realistic applications.
- Toimittaja
- Feenstra R B Feenstra, Wieringa Roel J Wieringa
- ISBN
- 9789814549332
- Kieli
- englanti
- Julkaisupäivä
- 9.6.1995
- Kustantaja
- World Scientific Publishing Company
- Formaatti
- PDF - Adobe DRM
- Lue e-kirjoja täällä
- Lue e-kirja mobiililaitteella/tabletilla
- Lukulaite
- Tietokone
