Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science - W Grieskamp - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540411963 - 18 de octubre de 2000
En caso de que portada y título no coincidan, el título será el correcto

W Grieskamp
Integrated Formal Methods: Second International Conference, Ifm 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings - Lecture Notes in Computer Science

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This title presents topical sections on computer science, linking and extending notations, methodology, foundation of one formalism by another, semantics and verification and validation. It is intended for use by compilers, interpreters, and software engineering researchers and professionals.

446 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de octubre de 2000
ISBN13 9783540411963
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 446
Dimensiones 156 × 234 × 23 mm   ·   1,05 kg
Lengua Alemán  
Editor Grieskamp, Wolfgang
Editor Santen, Thomas
Editor Stoddart, Bill

Mere med samme udgiver

Ver todo de W Grieskamp ( Ej. Paperback Book )