Applied Formal Methods - Fm-trends '98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Lecture Notes in Computer Science - D Hutter - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540664628 - 25 de agosto de 1999
En caso de que portada y título no coincidan, el título será el correcto

D Hutter
Applied Formal Methods - Fm-trends '98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 964
sin IVA

Pedido desde almacén remoto

Entrega prevista 31 de jul. - 12 de ago.
Recibe notificaciones sobre nuevos lanzamientos de D Hutter

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

Aún no valorado

This volume contains the refereed proceedings of the 1998 International Workshop on Current Trends in Applied Formal Methods. The papers address a range of developments in the use of formal methods during the different design stages of software systems for use in various application fields.

396 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de agosto de 1999
ISBN13 9783540664628
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 396
Dimensiones 156 × 234 × 20 mm   ·   553 g
Lengua Alemán  
Editor Hutter, Dieter
Editor Stephan, Werner
Editor Traverso, Paolo
Editor Ullmann, Markus

Más del mismo editor

Ver todo de D Hutter ( Ej. Paperback Book )