Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Hartmut Ehrig
Themen in »Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985«
Engineering Software design documentation modeling programming system development
Stimmen zu »Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985«
Details
ISBN: 9783540393078
Verlag: Springer Berlin
Erscheinung: 05.07.2005