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)

Medientyp: E-Book; Konferenzbericht
Titel: 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)
Beteiligte: Ehrig, Hartmut [Verfasser:in]; Floyd, Christiane [Sonstige Person, Familie und Körperschaft]; Nivat, Maurice [Sonstige Person, Familie und Körperschaft]; Thatcher, James [Sonstige Person, Familie und Körperschaft]
Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1985
Erschienen in: Lecture notes in computer science ; 186
Bücher
Umfang: Online-Ressource
Sprache: Englisch
DOI: 10.1007/3-540-15199-0
ISBN: 9783540393078
Identifikator:

Nur in Feld suchen: