Search Results - "Logics and Meanings of Programs."

1

Introduction to the Theory of Programming Languages

by Dowek, Gilles., Dowek, Gilles., Lévy, Jean-Jacques.
Published 2011

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

2

Transactions on Petri Nets and Other Models of Concurrency IX

Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

3

Transactions on Petri Nets and Other Models of Concurrency VIII

Published 2013

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

4

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. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

5

Transactions on Petri Nets and Other Models of Concurrency X

Published 2015

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

6

Validation of Evolving Software

Published 2015

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

7

Understanding Concurrent Systems

by Roscoe, A.W., Roscoe, A.W.
Published 2010

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

8

Semantics with Applications: An Appetizer

by Riis Nielson, Hanne., Riis Nielson, Hanne., Nielson, Flemming.
Published 2007

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

9

Abstract Computing Machines A Lambda Calculus Perspective /

by Kluge, Werner., Kluge, Werner.
Published 2005

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

10

The 2-tuple Linguistic Model Computing with Words in Decision Making /

by Martínez, Luis., Martínez, Luis., Rodriguez, Rosa M., Herrera, Francisco.
Published 2015

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

11

A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /

by Kurki-Suonio, R., Kurki-Suonio, R.
Published 2005

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

12

Dag Prawitz on Proofs and Meaning

Published 2015

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

13

Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /

by Bowman, Howard., Bowman, Howard., Gomez, Rodolfo.
Published 2006

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

14

Krister Segerberg on Logic of Actions

Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

15

Transactions on Petri Nets and Other Models of Concurrency VII

Published 2013

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

16

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

Published 2013

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

17

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing...

Published 2014

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

18

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. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

19

Transactional Memory. Foundations, Algorithms, Tools, and Applications COST Action Euro-TM IC1001 /

Published 2015

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

20

The Correctness-by-Construction Approach to Programming

by Kourie, Derrick G., Kourie, Derrick G., Watson, Bruce W.
Published 2012

Subjects: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text

Electronic eBook

Narrow Search