Formal Software Development
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.
- Alaotsikko
- From VDM to Java
- Kirjailija
- Charatan Quentin, Kans Aaron
- ISBN
- 9780333992814
- Kieli
- englanti
- Paino
- 281 grammaa
- Julkaisupäivä
- 9.9.2003
- Kustantaja
- Bloomsbury Publishing PLC
- Sivumäärä
- 238






















