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

1
Published 2003
Springer Berlin Heidelberg
Subjects: “...Mathematical Logic and Formal Languages...”
Cover Image
Read Now

5
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

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

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

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

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- Verification, Least-Fixpoint Checking, Abstraction -- Combining Tests and Proofs -- Logics -- Propositional...”
Cover Image
Read Now

10
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... the How to the What -- An Overview of Separation Logic -- A Perspective on Program Verification -- Meta...”
Cover Image
Read Now

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Notation in Industry -- Techniques for Temporal Logic Model Checking...”
Cover Image
Read Now

12
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements -- Logics...”
Cover Image
Read Now

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