Top 652 suhrkamp verlag berlin berlin PDF Book Page 27

book image

Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985

Christiane Floyd (auth.), Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher (eds.)
·468 Pages
·1985
·13.917 MB