MPG.eBooks - Search Results - "specification"

Cover Image

1

Domain-Specific Program Generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers

by Lengauer, Christian
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Interactive Systems:Design, Specification, and Verification : 9th International Workshop, DSV-IS 2002 Rostock, Germany, June 12–14, 2002 Revised Papers

by Forbrig, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

3

Intelligent Agents: Specification, Modeling, and Applications...

by Yuan, Soe -Tsyr
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

4

Interactive Systems. Design, Specification, and Verification...

by Jorge, Joaquim
Published 2003

Springer Berlin Heidelberg

Cover Image

5

Interactive Systems Design, Specification, and Verification : 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

by Palanque, Philippe
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

6

Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

by Johnson, Chris
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

7

Modular Specification and Verification of Object-Oriented Programs

by Müller, Peter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

8

ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

by Bowen, Jonathan P
Published 1997

Springer Berlin Heidelberg

Cover Image

9

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

by Bowen, Jonathan P
Published 1998

Springer Berlin Heidelberg

Cover Image

10

Integration of Software Specification Techniques for Applications in Engineering...

by Ehrig, Hartmut
Published 2004

Springer Berlin Heidelberg

Cover Image

11

CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language

by Mosses, Peter D
Published 2004

Springer Berlin Heidelberg

Cover Image

12

ZB 2002:Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

by Bert, Didier
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

13

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

by Bert, Didier
Published 2003

Springer-Verlag Berlin Heidelberg

Cover Image

14

CASL User Manual : Introduction to Using the Common Algebraic Specification Language

by Bidoit, Michel
Published 2004

Springer Berlin Heidelberg

Cover Image

15

PREMO: A Framework for Multimedia Middleware : Specification, Rationale, and Java Binding

by Duke, David J
Published 1999

Springer-Verlag Berlin Heidelberg