Conte aos seus amigos sobre este item:
Vdm '91. Formal Software Development Methods: 4th International Symposium of Vdm Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991, Proceedings (Tutorials) - 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 (Tutorials) - 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.
433 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 14 de outubro de 1991 |
| ISBN13 | 9783540548683 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 433 |
| Dimensões | 155 × 233 × 23 mm · 625 g |
| Idioma | German |
| Editor | Prehn, Soren |
| Editor | Toetenel, Hans |
Presentes de Natal podem ser trocados até 31 de janeiro