Skip to product information
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
  • Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
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)

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)

$62.99 $69.99

Reliable shipping

Flexible returns

Lecture Notes in Computer Science

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)

Hartmut Ehrig | Christiane Floyd | Maurice Nivat | James Thatcher

Computers / Software Development & Engineering / General


Publication Date: 01 March 1985
Publisher: Springer Berlin Heidelberg
Imprint: Springer
ISBN-13: 9783540151999
Format: Paperback / softback
Page Count: 459

You may also like