Showing 1 - 20 results of 121 for search '"Logics and Meanings of Programs."', query time: 0.07s Refine Results
  1. 1
    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
  2. 2
    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
  3. 3
    Semantics with Applications: An Appetizer
    by Nielson, Hanne Riis
    Published 2007
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  4. 4
    Abstract Computing Machines A Lambda Calculus Perspective
    by Kluge, William S.
    Published 2005
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  5. 5
    DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming
    by Addis, Tom
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  6. 6
    Time for Verification Essays in Memory of Amir Pnueli
    by Manna, Zohar
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  7. 7
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  8. 8
    Software Engineering 3 Domains, Requirements, and Software Design
    by BjΓΈner, Dines
    Published 2006
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  9. 9
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    by Pnueli, Amir
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  10. 10
    Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
    by Arbab, Farhad
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  11. 11
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by Pol, Jaco
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  12. 12
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    by Kowalewski, Stefan
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  13. 13
    Mathematical Problems from Applied Logic I Logics for the XXIst Century
    by Gabbay, Dov M., 1945-
    Published 2006
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  14. 14
    Parameterized Complexity Theory
    by Flum, JΓΆrg
    Published 2006
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  15. 15
    Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
    by Carro, Manuel
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  16. 16
    Modern Formal Methods and Applications
    by Gabbar, Hossam A.
    Published 2006
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  17. 17
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    by Ong, Luke
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  18. 18
    Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
    by Platzer, AndrΓ©
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  19. 19
    Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
    by Γ–lveczky, Peter Csaba
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
  20. 20
    Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
    by Petrenko, Alexandre
    Published 2010
    Subjects: “…Logics and Meanings of Programs 64567…”
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search