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)

Bibliographic Details
Main Authors: Ehrig, Hartmut (editor), Floyd, Christiane (editor), Nivat, Maurice (editor), Thatcher, James (editor)
Content type: Book
Published: Berlin, Heidelberg: Springer Berlin Heidelberg 1985, 1985
Edition:1st ed. 1985
Series:Lecture Notes in Computer Science ; 186
Online Access:Volltext
Source:E-Books
Description
Physical Description:XVII, 459 p online resource
ISBN:9783540393078
DOI:10.1007/3-540-15199-0
Language: English