Conte aos seus amigos sobre este item:
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science
Ed Brinksma
Preço
CA$ 78,49
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 20 - 24 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science
Ed Brinksma
Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.
447 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 20 de março de 1997 |
| ISBN13 | 9783540627906 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 447 |
| Dimensões | 156 × 234 × 23 mm · 625 g |
| Idioma | German |
| Editor | Brinksma, Ed. |
