Conte aos seus amigos sobre este item:
An Introduction to Practical Formal Methods Using Temporal Logic
Fisher, Michael (University of Liverpool, UK)
Preço
R 2.166
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 9 - 14 de jul
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
An Introduction to Practical Formal Methods Using Temporal Logic
Fisher, Michael (University of Liverpool, UK)
This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the reader a firm basis on which to progress further.
360 pages, Illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 18 de abril de 2011 |
| ISBN13 | 9780470027882 |
| Editoras | John Wiley & Sons Inc |
| Páginas | 360 |
| Dimensões | 174 × 250 × 24 mm · 788 g |
Ver tudo de Fisher, Michael (University of Liverpool, UK) ( por exemplo Hardcover Book )