Total Books: 1 - 3 /3
Mathematics of Program Construction
This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...
Weiterlesen
Mathematics of Program Construction : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
Weiterlesen
Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Weiterlesen
Total Books: 1 - 3 /3
