English
Beginner
Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
Jim Woodcock,Victor Bandur (auth.),Burkhart Wolff,Marie-Claude Gaudel,Abderrahmane Feliachi (eds.)
2013
View book