Search alternatives:
"logician" » "logicians", "logiciel", "logica"
Cover Image
Read Now

1
Published 2022
Springer International Publishing
Table of Contents: “... Matching Logic Foundation for Alk -- A Type System with Subtyping for WebAssembly’s Stack Polymorphism -- A...”
Cover Image
Read Now

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Language for Temporal Logic...”
Cover Image
Read Now

4
Published 2015
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...-Time Systems Using Circus Actions -- Automata Theory and Logics -- Switched Probabilistic I/O Automata...”
Cover Image
Read Now

7
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Temporal Logic with Constrained Events -- Expansive-Bisimulation for Context-Free Processes -- VDM...”
Cover Image
Read Now

8
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- A Complete and Compact Propositional Deontic Logic -- Verifying Lock-Freedom Using Well-Founded...”
Cover Image
Read Now

9
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Reduction Technique for Temporal-epistemic Logic -- Tools -- TAPAAL: Editor, Simulator and Verifier of Timed...”
Cover Image
Read Now

10
Published 2019
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

11
Published 2016
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

12
Published 2018
Springer International Publishing
Table of Contents: “... Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny...”
Cover Image
Read Now

13
Published 2014
Springer International Publishing
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

14
Published 2017
Springer International Publishing
Table of Contents: “... with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic...”
Cover Image
Read Now

15
Published 2013
Springer Berlin Heidelberg
“... and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming...”