Search Results - "Logics and Meanings of Programs."

1

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....”
Get full text

Electronic

2

Transactions on Petri Nets and Other Models of Concurrency VIII

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

3

Verification of Sequential and Concurrent Programs

by Apt, Krzysztof R., Boer, Frank S., Olderog, Ernst-R<U+00fc>diger.
Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

4

Understanding Concurrent Systems

by Roscoe, A.W.
Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

5

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Jan.
Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

6

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

7

Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

8

CONCUR 2013 <U+0013> Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

9

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

10

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

11

Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

12

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

13

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

14

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

15

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

16

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

17

Time for Verification Essays in Memory of Amir Pnueli /

Published 2010

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

18

Logic Functions and Equations Examples and Exercises /

by Steinbach, Bernd., Posthoff, Christian.
Published 2009

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

19

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

20

Theoretical Aspects of Computing ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /

Published 2013

Subjects: '; “...Logics and Meanings of Programs....”
Get full text

Electronic

Narrow Search