Search alternatives:
example%22 » examples%22
Cover Image
Read Now

1
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

2
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... programming revisited -- Some problems on inductive inference from positive data -- Language and example...”
Cover Image
Read Now

3
Published 1990
Royal Society of Chemistry
Cover Image
Read Now

4
by Gaman, William A., Giovinazzo, William A.
Published 1991
Springer New York
Table of Contents: “... Modeling Transformations -- 2.2 Matrix Composition -- 2.3 Viewing Transformations -- Review Questions -- 3...”
Cover Image
Read Now

5
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

6
by Nissanke, Nimal
Published 1999
Springer London
Table of Contents: “... Specification of State Based Systems -- 10.3 Composite Objects -- 10.4 Musical Chairs - An Example -- 10.5...”
Cover Image
Read Now

7
by Partsch, Helmut A.
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... Constructs for Formal Specifications -- 3.5 Structuring and Modularization -- 3.6 Examples -- 3.7 Exercises...”
Cover Image
Read Now

8
by de Dinechin, Florent, Kumm, Martin
Published 2024
Springer International Publishing
Table of Contents: “... Specification and Error Analysis -- Chapter 4 Field Programmable Gate Arrays -- Part 1 Revisiting Classic...”
Cover Image
Read Now

9
Published 1997
Springer US
Table of Contents: “.... Modeling the Power Consumption of CMOS Arithmetic Elements -- 2.1 Introduction -- 2.2 Previous Research...”
Cover Image
Read Now

10
Published 1991
Springer Berlin Heidelberg
Table of Contents: “...: An example -- Specification and implementation of a tree-abiding interface for Ada -- Towards a multilingual...”
Cover Image
Read Now

11
Published 1997
Birkhäuser
Table of Contents: “...Bacterial Specific Infection Imaging -- In Vivo Detection of Activated Lymphocytes in Immune...”
Cover Image
Read Now

12
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... by Being Told, from Examples and by Exploration -- Toward a Rapid Prototyping Environment for Expert...”
Cover Image
Read Now

13
by Harris, Kriss
Published 2020
SAS INSTITUTE
Table of Contents: “... Are the Prerequisites for This Book? -- What Should You Know about the Examples? -- We Want to Hear from You -- About...”
Cover Image
Read Now

14
by Horebeek, Ivo Van, Lewi, Johan
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... -- 3.6 Bibliographic Notes -- 4. Constructive Specifications -- 4.1 Simple Example -- 4.2 Constructive...”
Cover Image
Read Now

15
by Broy, Manfred, Stølen, Ketil
Published 2001
Springer New York
Table of Contents: “... Specification -- 11.2 Formalization -- 12. A/G Specifications -- 12.1 Simple Examples -- 12.2 Semantics -- 12.3...”
Cover Image
Read Now

16
Published 1999
Springer Netherlands
Table of Contents: “...21. Expression of the IGF system in acute and chronic ischemia -- 22. Long-chain fatty acids...”
Cover Image
Read Now

17 Table of Contents: “... Summary -- 2. Essential Issues In System Level Design -- 2.1 Models -- 2.2 Architectures -- 2.3 Languages...”
Cover Image
Read Now

18
by Schaller, K H., Huber, B.
Published 1984
Springer Netherlands
Table of Contents: “... -- Decontamination of concrete, with particular reference to flame scarfing -- Specific decontamination methods...”
Cover Image
Read Now

19
by Graham, Ian
Published 2008
Wiley
Table of Contents: “... Approaches; 6.5 Summary; 6.6 Bibliographical Notes; 7 Specification Modelling; 7.1 From Requirements...”
Cover Image
Read Now

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- Executable Requirements Specifications Using Triggered Message Sequence Charts -- Efficient Symmetry...”