Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Numerical Software with Result Verification

Name: Numerical Software with Result Verification
Brand: Springer, Berlin
SKU: 01559177
Price: 46.07 EUR
Availability: InStock
Author: Rene Alt
ISBN: 9783540212607

International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers

Rene Alt

Andreas Frommer

R. Baker Kearfott

Língua

Inglês

Livro Capa mole

Código Libristo: 01559177

Editoras Springer, Berlin, novembro 2003

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Nume... Descrição completa

Código Libristo: 01559177

111 b

46.07 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Asterios Pia Hepke

Capa mole

11.94 €

This book constitutes the thoroughly refereed post-proceedings of the Dagstuhl Seminar 03041 on Numerical Software with Result Verification held at Dagstuhl Castle, Germany, in January 2003.The 18 revised full papers presented were selected during two rounds of reviewing and improvements. The papers are organized in topical sections on languages, software systems and tools, new verification techniques based on interval arithmetic, applications in science and engineering, and novel approaches to verification.