Отображение 1 - 20 результаты of 684 для поиска '"Logics and Meanings of Programs."', время запроса: 0.04сек. Отмена результатов
  1. 1
    Elementary Logic For Software Development /
    по Lover, Robert
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  2. 2
    Transactions on Petri Nets and Other Models of Concurrency X
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  3. 3
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
    по Bowman, Howard
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  4. 4
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    по Kurki-Suonio, Reino
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  5. 5
    Semantics with Applications: An Appetizer
    по Nielson, Hanne Riis
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  6. 6
    Abstract Computing Machines A Lambda Calculus Perspective /
    по Kluge, W.
    Опубликовано в: Springer e-books (2005)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  7. 7
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  8. 8
    Transactions on Petri Nets and Other Models of Concurrency IX
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  9. 9
    Validation of Evolving Software
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  10. 10
    Transactions on Petri Nets and Other Models of Concurrency VIII
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  11. 11
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    по Martínez, Luis, Rodriguez, Rosa M., Herrera, Francisco
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  12. 12
    Programming Languages An Active Learning Approach /
    по Lee, Kent
    Опубликовано в: Springer eBooks (2008)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  13. 13
    Dag Prawitz on Proofs and Meaning
    Опубликовано в: Springer eBooks (2015)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  14. 14
    Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
    по Horváth, Zoltán
    Опубликовано в: Springer e-books (2007)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
  15. 15
    Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  16. 16
    Krister Segerberg on Logic of Actions
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  17. 17
    Transactions on Petri Nets and Other Models of Concurrency VII
    Опубликовано в: Springer eBooks (2013)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  18. 18
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  19. 19
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
    Опубликовано в: Springer eBooks (2014)
    Предметы: “...Logics and Meanings of Programs....”
    Полный текст
    Электронная книга
  20. 20
    Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
    по Emerson, E. Allen
    Опубликовано в: Springer e-books (2006)
    Предметы: “...Logics and Meanings of Programs...”
    Полный текст
    Электронная книга
Инструменты поиска: RSS-поток