Suggested Topics within your search.
Showing 41 - 60 results of 80 for search '"Logics and Meanings of Programs."', query time: 0.03s Refine Results
41
Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
42
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
Get full text
eBook
43
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
44
Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
45
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
46
Fundamentals of Computation Theory : 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
47
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
48
Cyber Physical Systems. Design, Modeling, and Evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
49
Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
50
Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
51
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
Get full text
eBook
52
Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
53
NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
54
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
55
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
56
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
57
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity /
by Zeume, Thomas.
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
58
Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
59
Topics in Theoretical Computer Science : Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
60
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /
Published 2017
Subjects: “...Logics and Meanings of Programs....”
eBook
Search Tools: Get RSS Feed — Email this Search