Balances leading edge material, established practice, and reviews of historically important contributions Collects timely, current articles written by a truly international group of authors Describes case studies from many kinds of high-integrity systems development Emphasizes model checking, an important step in several types of formal methods.
- Limba : Engleza
- Data Publicarii : 12 Mar 2013
- Format : Paperback
- Numar pagini : 292
- ISBN : 9780470876183