Tell your friends about this item:
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | March 10, 1999 |
| ISBN13 | 9783540657194 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 330 |
| Dimensions | 156 × 234 × 18 mm · 789 g |
| Language | German |
| Editor | Thomas, Wolfgang |
More by Wolfgang Thomas
Show allMere med samme udgiver
See all of Wolfgang Thomas ( e.g. Paperback Book )