Отображение 41 - 60 результаты of 684 для поиска '"Logics and Meanings of Programs."', время запроса: 0.06сек. Отмена результатов
  1. 41
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
    по Krishnamurthi, Shriram
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 42
    Unfoldings A Partial-Order Approach to Model Checking /
    по Esparza, Javier
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  3. 43
    Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
    по Dwyer, Matthew B.
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 44
    B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    по Julliand, Jacques
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 45
    Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
    по Bošnacki, Dragan
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 46
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    по Cook, Byron
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 47
    Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
    по Baresi, Luciano
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  8. 48
    Implementation and Application of Functional Languages (vol. # 4015) 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
    по Butterfield, Andrew
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  9. 49
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    по Hutchison, David
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  10. 50
    Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
    по Valmari, Antti
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  11. 51
    Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
    по Liu, Zhiming
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  12. 52
    Variations on Constants Flow Analysis of Sequential and Parallel Programs
    по Müller-Olm, Markus
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 53
    Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
    по Banach, Richard
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  14. 54
    Concrete Semantics With Isabelle/HOL /
    по Nipkow, Tobias, Klein, Gerwin
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  15. 55
    Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  16. 56
    Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  17. 57
    Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  18. 58
    Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  19. 59
    Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  20. 60
    Practical Analysis of Algorithms
    по Vrajitoru, Dana, Knight, William
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток