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...

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...

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...

4
Published 1982
Springer Berlin Heidelberg
Table of Contents: ...Program specification: Issues and observations -- Example 1: Geometrical constructions -- Example 1...

5
by Seeley, Ivor H.
Published 1976
Macmillan Education UK

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...

7
Published 1984
Springer Netherlands
Table of Contents: ...Scientific Papers -- Introductory Remarks. Electrostatics and Specificity in Nucleic Acid Reactions...

8
by Polak, W.
Published 1981
Springer Berlin Heidelberg

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

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

11
by Garrod, D. R.
Published 1978
Springer US

12
by Ioannou, Adrian
Published 1984
Springer US
Table of Contents: ... Index: Vision Systems -- 2: Technical Specifications -- 2.1 Technical Specifications: Manufacturing...

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...

14
Published 1995
Springer US
Table of Contents: ... Lineage -- Specification of Cell Fate in the Vertebrate Retina -- Neurotrophins and Trk Receptors...

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

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

17
Published 1992
Springer London
Table of Contents: ...-Oriented Query Language Definition -- Reasoning about a Modular Model-Oriented Formal Specification...

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...

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...

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