Recomienda este artículo a tus amigos:
Foundations of Software Science and Computation Structures: Second International Conference, Fossacs '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceedi Wolfgang Thomas
Foundations of Software Science and Computation Structures: Second International Conference, Fossacs '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceedi
Wolfgang Thomas
This volume represents the proceedings of the 2nd International Conference on Foundations of Software Science and Computation Structures. The central issues discussed are theories and methods supporting the specification, transformation, verification and analysis of programs and software systems.
330 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 10 de marzo de 1999 |
| ISBN13 | 9783540657194 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 330 |
| Dimensiones | 156 × 234 × 18 mm · 789 g |
| Lengua | Alemán |
| Editor | Thomas, Wolfgang |
Mas por Wolfgang Thomas
Mostrar todoMere med samme udgiver
Ver todo de Wolfgang Thomas ( Ej. Paperback Book )