Top 618 adele berlin berlin PDF Book Page 26

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