Search alternatives:
computer programming » computer program
computer programs » computer program
Cover Image
Read Now

1
Published 2017
Springer International Publishing
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

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

3
Published 2017
Springer International Publishing
Table of Contents: “... -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal...”
Cover Image
Read Now

4
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Meeting the Challenge of Object-Oriented Programming -- A Formal Mapping between UML Models...”
Cover Image
Read Now

5
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory...”
Cover Image
Read Now

6
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... developing a control program for a radiation therapy machine -- Preliminary evaluation of a formal approach...”
Cover Image
Read Now

7
Published 2017
Springer International Publishing
Table of Contents: “...Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

9
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... specification techniques -- Viewpoints and objects -- Teaching programming as engineering -- A course on formal...”
Cover Image
Read Now

10
Published 2020
Springer International Publishing
Table of Contents: “... for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems...”
Cover Image
Read Now

11
Published 1999
Springer London
Table of Contents: “... Lessons from the Formal Development of a Radiation Therapy Machine Control Program -- 10 Using Formal...”
Cover Image
Read Now

12
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... -- The Test Technology TTCN-3 -- Testability Transformation – Program Transformation to Improve Testability...”
Cover Image
Read Now

13
Published 2008
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

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

15
Published 2019
Springer International Publishing
Table of Contents: “... Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal...”
Cover Image
Read Now

16
Published 2010
Springer London
Table of Contents: “...Domain Engineering -- Program Verification and System Dependability -- The Abstract State Machines...”
Cover Image
Read Now

17
Published 2002
Springer Berlin Heidelberg
Subjects: “...Compilers (Computer programs)...”
Cover Image
Read Now

18
by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999
Springer London
Table of Contents: “... of Some Formal Methods for Program Design -- Ten Commandments of Formal Methods -- 4. Object-Orientation...”