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)

Media type: E-Book; Conference Proceedings
Title: 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)
Contributor: Ehrig, Hartmut [Author]; Floyd, Christiane [Other]; Nivat, Maurice [Other]; Thatcher, James [Other]
Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1985
Published in: Lecture notes in computer science ; 186
Bücher
Extent: Online-Ressource
Language: English
DOI: 10.1007/3-540-15199-0
ISBN: 9783540393078
Identifier:

Search in field: