Search alternatives:
designer » designers, design
Cover Image
Read Now

1
Published 1993
Springer Berlin Heidelberg
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “...Chapter 1. Interview with Manfred Broy and Walter Brenner About Design Thinking and Requirements...”
Cover Image
Read Now

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... for Communicating Sequential Processes -- III: Design and Construction Calculi -- Deduction and Computation...”
Cover Image
Read Now

4
by Broy, Manfred
Published 1993
Springer Berlin Heidelberg
Subjects: “...Logic Design...”
Cover Image
Read Now

5
by Broy, Manfred
Published 1998
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... Control -- Go To Statement Considered Harmful -- Design and Code Inspections to Reduce Errors in Program...”
Cover Image
Read Now

10
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- 0. Designing Proofs and Programs -- Heuristics for a Very Simple Euclidean Proof (EWD1180...”
Cover Image
Read Now

11
Published 2005
Springer Netherlands
Table of Contents: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
Cover Image
Read Now

12
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... Theorem Prover -- II Design Calculi -- Lectures on Constructive Functional Programming -- On a Problem...”
Cover Image
Read Now

13
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Constructive Methods of Program Design -- Structured Analysis: Beginnings of a New Discipline -- Structure...”
Cover Image
Read Now

14
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...1. Examples of Derivations -- On the Design of a Simple Proof for Morley’s Theorem -- Well...”
Cover Image
Read Now

15
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... in teaching digital circuit design -- Calculating digital counters -- Generic programming -- Algebraic...”
Cover Image
Read Now

16
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- On object-oriented design and verification -- Design of modular software systems with reuse -- AVL trees...”
Cover Image
Read Now

17
Published 1986
Springer Berlin Heidelberg
Table of Contents: “.... Design and Verification of Distributed Systems -- Proving Correctness of CSP Programs, a Tutorial -- Real...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Based on a Unified Formal Semantics -- Postmodern Software Design with NYAM: Not Yet Another Method...”
Cover Image
Read Now

19
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Programming -- Twin — A Design Pattern for Modeling Multiple Inheritance -- A Partial Semantics for Object...”
Cover Image
Read Now

20
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... linear logic -- Duration Calculi: An overview -- A unique formalism for specifying and designing objects...”