Showing 1 - 20 results of 1,907 for search '"Logics and Meanings of Programs."', query time: 0.10s Refine Results
  1. 1
    Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
    Published 2016
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Krister Segerberg on Logic of Actions
    Published 2014
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Dag Prawitz on Proofs and Meaning
    Published 2015
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Introduction to the Theory of Programming Languages
    by Dowek, Gilles, Lévy, Jean-Jacques
    Published 2011
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Validation of Evolving Software
    Published 2015
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Transactions on Petri Nets and Other Models of Concurrency XI
    Published 2016
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Transactions on Petri Nets and Other Models of Concurrency X
    Published 2015
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Transactions on Petri Nets and Other Models of Concurrency VIII
    Published 2013
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /
    Published 2013
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Transactions on Petri Nets and Other Models of Concurrency IX
    Published 2014
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    The 2-tuple Linguistic Model Computing with Words in Decision Making /
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Understanding Concurrent Systems
    by Roscoe, A.W
    Published 2010
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers /
    Published 2019
    Subjects: “…Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
    by Kurki-Suonio, Reino
    Published 2005
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Treatise on Intuitionistic Type Theory
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems /
    by Bowman, Howard, Gomez, Rodolfo
    Published 2006
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
    by Kurki-Suonio, Reino
    Published 2005
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  18. 18
    Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
    by Bowman, Howard
    Published 2006
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  19. 19
    Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers /
    Published 2014
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Transactions on Petri Nets and Other Models of Concurrency VII
    Published 2013
    Subjects: “…Logics and Meanings of Programs.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search