Вы здесь

Главная

программная семантика

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

Dynamic Logic: New Trends and Applications: Proc./2nd International Workshop, DaLi 2019, Porto, Portugal, October 2019
Foundations of Software Science and Compitation Structures: Proc./17th International Conference, FOSSACS 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fourth Workshop "Program Semantics, Specification and Verification: Theory and Applications": Proc./8th International Computer Science Symposium in Russia, Yekaterinburg, Russia, June 1013
Highlights of the Rice-Shapiro Therem in Computable Topology
Implementation and Application of Functional Languages: Revised Selected Papers/20th International Symposium, IFL 2008, Hatfield, UK, September 2008
Interactive Theorem Proving: Proc./2nd International Conference, ITP 2011, Berg en Dal, The Netherlands, August 2011
Logic-Based Program Synthesis and Transformation: Revised Selected Papers/26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 2016
Logic, Language, and Computation: Revised Selected Papers/11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 2015
Programming Languages and Systems: Proc./23rd European Symposium on Programming, ESOP 2014 Held as Part of the ETASPS 2014, Grenoble, France, April 2014
Program Semantics, Specification and Verification: Theory and Application: Proc./9th International Computer Sceince Symposium in Russia, Fifth Workshop, Moscow, Russia, June 2014
Program Semantics, Specification and Verification: Theory and Application: Proc./Third Workshop of 7th International Computer Science Symposium in Russia, Nizhni Novgorod, Russia, July 2012
Theoretical Aspects of Computing - ICTAC 2011: Proc./8th International Colloquium, Johannesburg, South Africa, August 2011
Программные семантики, спецификации и верификация: Тезисы докладов VIII Международного научно-исследовательского семинара, Москва, июнь 2017