Showing 101 - 120 results of 684 for search '"Logics and Meanings of Programs."', query time: 0.07s Refine Results
  1. 101
    Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  2. 102
    CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  3. 103
    Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  4. 104
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  5. 105
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published in Springer eBooks (2014)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  6. 106
    Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  7. 107
    Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
    Published in Springer eBooks (2015)
    Subjects: “...Logics and Meanings of Programs....”
    Get full text
    eBook
  8. 108
    Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
    by Crnkovic, Ivica
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  9. 109
    Temporal Logic and State Systems
    by Kröger, Fred
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  10. 110
    Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  11. 111
    CONCUR 2008 - Concurrency Theory 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  12. 112
    Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  13. 113
    Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.
    by Butler, Michael
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  14. 114
    CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings /
    by Caires, Luís
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  15. 115
    Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /
    by Suzuki, Kenji
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  16. 116
    Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings
    by Najm, Elie
    Published in Springer e-books (2006)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  17. 117
    Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    by Puebla, Germán
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  18. 118
    Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings /
    by Derrick, John
    Published in Springer e-books (2007)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  19. 119
    Logics of Specification Languages
    by Bjørner, Dines
    Published in Springer eBooks (2008)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
  20. 120
    Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings
    by Wang, Farn
    Published in Springer e-books (2005)
    Subjects: “...Logics and Meanings of Programs...”
    Get full text
    eBook
Search Tools: Get RSS Feed