Cover Image
Read Now

1
by Luckham, David
Published 1990
Springer New York
Table of Contents: “... -- 0.3 Applying Anna -- 0.4 Environments for Programming with Specifications -- 0.5 Future Developments...”
Cover Image
Read Now

2
by Keil, Borivoj
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Data Bank LYSIS -- 3.2 Statistical Approach to Specificity -- 4 Standard Polypeptide Substrates -- 4.1...”
Cover Image
Read Now

3
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... -- 12. Algebraic Specification in CLEAR -- 12.1 Data Types and Systems -- 12.2 Views of Specifications...”
Cover Image
Read Now

4
Published 1982
Springer Berlin Heidelberg
Table of Contents: “...Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1...”
Cover Image
Read Now

5
by Seeley, Ivor H.
Published 1976
Macmillan Education UK
Cover Image
Read Now

6
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...5. From Descriptive Specifications to Operational Ones -- 5.1 Transforming Specifications -- 5.2...”
Cover Image
Read Now

7
Published 1984
Springer Netherlands
Table of Contents: “...Scientific Papers -- Introductory Remarks. Electrostatics and Specificity in Nucleic Acid Reactions...”
Cover Image
Read Now

8
by Polak, W.
Published 1981
Springer Berlin Heidelberg
Cover Image
Read Now

9
Published 1980
Springer Berlin Heidelberg
Table of Contents: “... for describing program behaviour -- The semantics of clear, a specification language -- An example...”
Cover Image
Read Now

10
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- On the relation of programs and computations to models of temporal logic -- Specification and verification...”
Cover Image
Read Now

11
by Garrod, D. R.
Published 1978
Springer US
Cover Image
Read Now

12
by Ioannou, Adrian
Published 1984
Springer US
Table of Contents: “... Index: Vision Systems -- 2: Technical Specifications -- 2.1 Technical Specifications: Manufacturing...”
Cover Image
Read Now

13
by Alagar, V.S., Periyasamy, K.
Published 1998
Springer New York
Table of Contents: “...1 The Role of Specification -- 2 Specification Activities -- 3 Specification Qualities -- 4...”
Cover Image
Read Now

14
Published 1995
Springer US
Table of Contents: “... Lineage -- Specification of Cell Fate in the Vertebrate Retina -- Neurotrophins and Trk Receptors...”
Cover Image
Read Now

15
by Tarnay, Katalin
Published 1991
Springer US
Table of Contents: “... -- 5. Graph Models -- 6. Algebras And Formal Languages -- 7. Specification Languages For Communication...”
Cover Image
Read Now

16
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... -- Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack...”
Cover Image
Read Now

17
Published 1992
Springer London
Table of Contents: “...-Oriented Query Language Definition -- Reasoning about a Modular Model-Oriented Formal Specification...”
Cover Image
Read Now

18
Published 2001
Springer London
Table of Contents: “...I State-Based Approaches -- 1 Z: A Formal Specification Notation -- 2 SAZ: SSADM Version 4 and Z...”
Cover Image
Read Now

19
Published 2004
Springer US
Table of Contents: “... Specifications of an Embedded System Oriented to HW/SW Partitioning -- C-Based System Design -- SPACE: A Hardware...”
Cover Image
Read Now

20
by Goldbloom, J.
Published 1989
Springer US
Table of Contents: “...I—Explaining Engineering Construction Specifications -- 1, Construction Contracts -- 2, Function...”