| Download | Download This Torrent - Usenet 5x Faster |
| Announce | http://torrent-downloads.to:5869/announce |
| Hash | 0cdffe893ee2a793d88777a13f6b13605b4822ed |
| Total Size | 3.24 MBs |
| Seeds | 1 |
| Peers |
State of the Art and New Directions
Supplied by..: Team Elements Genre........: eBook
Release Date.: 12-2009 System.......: PDF
Store Date...: 12-2009 Language.....: English
Protection...: NONE Disksize.....: 1 x 5 MB
iSBN.........: 978-1-848-82735-6 Publisher....: Springer
Author.......: Boca Edition......: 1.
Release Info
------------
Through fundamental contributions from leading researchers, this book
provides further evidence of the use of formal methods in the areas of
requirements, design, modelling and implementation, verification and
validation.
The self-contained chapters are views from experts in these areas,
providing readers with rich background information and a diverse breadth
of specialist material.
