Вы здесь

Главная

программные логики

Связанные издания:

Computer Aided Verification: Proc./18th International Conference, CAV 2006. Seattle, WA, USA, August 2006
Computer Science Logic: Proc./19th International Workshop, CSL; 14th Annual Conference of the EACSL. Oxford, UK, August 2005
Computer Science Logic: Proc./20th Intl WS CSL 2006, 15th Annual Conference of the EACSL. Szeged, Hungary, September 2006
Computer Science Logic: Proc./22nd International Workshop, CSL 2008. 17th Annual Conference of the EACSL. Bertinoro, Italy, September 2008
Exponental Acceleration of Model Checking for Perfect Recall Systems
Logical Foundations of Computer Science: Proc./International Symposium, LFCS 2007. New York, NY, USA, June 2007
Logical Foundations of Computer Science: Proc./International Workshop, LFCS 2009. Deerfield Beach, FL, USA, January 2009
Logic Based Program Synthesis and Transformation: Revised Selected Papers/14th International Symposium, LOPSTR 2004. Verona, Italy, August 2004
Programming Languages and Systems: Proc./7th Asian Symposium, APLAS 2009, Seoul, Korea, December 2009
Метод схем программ для пропозициональных программных логик за 30 лет