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
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver