Mathematics of program construction : 11th international conference : proceedings, MPC, Madrid, Spain, June 25-27, 2012 (e-book)
Mathematics of program construction : 11th international conference : proceedings, MPC, Madrid, Spain, June 25-27, 2012 (e-book)
-
- Berlin Springer 2012
-
- Lecture notes in computer science ; v.7342 .
978-3-642-31113-0
Computer Science and Engineering
Computer programming-Mathematics-Congresses , Computer programs-Mathematics-Congresses
978-3-642-31113-0
Computer Science and Engineering
Computer programming-Mathematics-Congresses , Computer programs-Mathematics-Congresses