Cover Image
Read Now

1
Published 1999
Springer London
Subjects: “...Logics and Meanings of Programs...”
Cover Image
Read Now

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Handling Inconsistencies in Z Using Quasi-Classical Logic -- Loose Specification and Refinement in Z...”
Cover Image
Read Now

3
Published 2023
Springer Nature Switzerland
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

4
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Alloy: A Logical Modelling Language -- An Outline Pattern Language for Z: Five Illustrations...”
Cover Image
Read Now

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

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

7
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Using the B Method -- Compositional Structuring in the B-Method: A Logical Viewpoint of the Static...”
Cover Image
Read Now

8
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining...”
Cover Image
Read Now

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

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

11
Published 2019
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 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

14
Published 2010
Springer London
Table of Contents: “... Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency...”
Cover Image
Read Now

15
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Mental models of Z: I — Sets and logic -- Equational logic: A great pedagogical tool for teaching a skill...”
Cover Image
Read Now

16
Published 1997
Springer Berlin Heidelberg
“... sections on real-time systems, tools, logic, system development, reactive systems, refinement...”