Vdm '91. Formal Software Development Methods. 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings: Conference Contributions (Conference Contributions) - Lecture Notes in Computer Science - Soren Prehn - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540548348 - 14 de octubre de 1991
En caso de que portada y título no coincidan, el título será el correcto

Vdm '91. Formal Software Development Methods. 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings: Conference Contributions (Conference Contributions) - Lecture Notes in Computer Science

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 2 - 21 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Soren Prehn
Añadir a tu lista de deseos de iMusic

Aún no valorado

The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.


705 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de octubre de 1991
ISBN13 9783540548348
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 705
Dimensiones 170 × 250 × 36 mm   ·   997 g
Lengua Alemán  
Editor Prehn, Soren
Editor Toetenel, Hans

Mas por Soren Prehn

Mostrar todo

Más del mismo editor