Total Books: 1 - 2 /2
Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...
Weiterlesen
Objects, Components, Models and Patterns : 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models ...
Weiterlesen
Total Books: 1 - 2 /2
