Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- Proof Techniques for Cryptographic Protocols -- Type Structure for Low-Level Programming Languages...”
Cover Image
Read Now

2
by Dooley, John F., Kazakova, Vera A.
Published 2024
Apress
Table of Contents: “...Chapter 1: Introduction to Software Development -- PART ONE: MODELS AND TEAM PRACTICES -- Chapter 2...”
Cover Image
Read Now

3
by Knoop, Jens
Published 1998
Springer Berlin Heidelberg
Table of Contents: “...: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Invited Talks -- Implementing Algebraic Dynamic Programming in the Functional and the Imperative...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... into Java -- SuchThat — Generic Programming Works -- Specification and Verification -- Software Development...”
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Improving On-Demand Strategy Annotations -- First-Order Logic as a Constraint Programming Language...”
Cover Image
Read Now

7
by Panjuta, Denis, Jabbarzadeh, Jafar
Published 2024
Springer Nature Switzerland
Table of Contents: “...PART 1: Introduction to the C# Programming Language -- 1. Hello World! -- 2. C# Datatypes...”
Cover Image
Read Now

8
Published 2002
Springer Berlin Heidelberg
Table of Contents: “...Little Engines of Proof -- Automated Boundary Testing from Z and B -- Improvements in Coverability...”
Cover Image
Read Now

9
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving...”
Cover Image
Read Now

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Static Program Analyzer for Safety-Critical Real-Time Embedded Software -- Meta-circular Abstract...”
Cover Image
Read Now

11
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Interface for Promela -- Events in Property Patterns -- Assume-Guarantee Model Checking of Software: A...”
Cover Image
Read Now

12
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Engines -- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving -- Programming Deep Concurrent...”
Cover Image
Read Now

13
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... in Semiconductors - Part II -- Advanced Programming Environments for Scientific Computations -- IC2D: Interactive...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Networked Applications for Mobile Computers -- Crawlets: Agents for High Performance Web Search Engines...”
Cover Image
Read Now

15
by Liu, Shaoying
Published 2024
Springer Nature Singapore
Subjects: “...Software engineering...”
Cover Image
Read Now

16
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- An Assembly Process Model for Method Engineering -- Process Reuse Architecture -- Using a Metadata Software...”
Cover Image
Read Now

17
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... in the Software Engineering of Verification Tools -- ETAPS Tool Demonstation -- The ETI Online Service in Action...”
Cover Image
Read Now

18
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... of Protocols for Reusability -- Rapid Development of Network Software via SDL/Socket Interfaces...”
Cover Image
Read Now

19
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Interval Logic -- Compositional Transformational Design for Concurrent Programs -- Compositional proof...”
Cover Image
Read Now

20
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- The Engineering of Some Bipartite Matching Programs...”