Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science - Teodor Rus - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540675303 - 3 de maio de 2000
Caso a capa e o título não sejam correspondentes, considere o título como correto

Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science

Teodor Rus

Preço
€ 120,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 24 de jul - 5 de ago
Adicione à sua lista de desejos do iMusic

Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science

This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.


545 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de maio de 2000
ISBN13 9783540675303
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 545
Dimensões 155 × 233 × 29 mm   ·   1,29 kg
Editor Rus, Teodor