An Introduction to the PL/CV2 Programming Logic
Book information
Similar books
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
2008 · PDF
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
2002 · PDF
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
2001 · PDF
Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers
2003 · PDF
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
2005 · PDF
Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
2004 · PDF
Programmverifikation: Sequentielle, parallele und verteilte Programme
1994 · PDF
Semantics: Foundations and Applications: REX Workshop Beekbergen, The Netherlands, June 1–4, 1992 Proceedings
1993 · PDF