Conte aos seus amigos sobre este item:
Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering 1st ed. 2016 edition
Preço
元 922
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 5 de set
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Deductive Software Verification – The KeY Book: From Theory to Practice - Programming and Software Engineering 1st ed. 2016 edition
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
702 pages, 110 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 21 de dezembro de 2016 |
| ISBN13 | 9783319498119 |
| Editoras | Springer International Publishing AG |
| Páginas | 702 |
| Dimensões | 155 × 235 × 37 mm · 1,01 kg |
| Idioma | French |
| Editor | Ahrendt, Wolfgang |
| Editor | Beckert, Bernhard |
| Editor | Bubel, Richard |
| Editor | Hahnle, Reiner |
| Editor | Schmitt, Peter H. |
| Editor | Ulbrich, Mattias |