Recomienda este artículo a tus amigos:
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
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
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 todoMere med samme udgiver
Ver todo de Soren Prehn ( Ej. Paperback Book )