Konferenzschrift | Kongress
Deductive program design ; [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540609476
3540609474
- Dimensions
-
24 cm
- Extent
-
VIII, 467 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Literaturangaben
- Bibliographic citation
-
NATO ASI series / F / NATO ; Vol. 152, Series F
- Keyword
-
Programmierung
Deduktionssystem
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Budapest, Hong Kong, London, Milan, Paris, Santa Clara, Singapore, Tokyo
- (who)
-
Springer
- (when)
-
1996
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:02 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Broy, Manfred
- Advanced Study Institute on Deductive Program Design (1994 : Marktoberdorf)
- Springer
Time of origin
- 1996
Other Objects (12)
User Interaction in Deductive Interactive Program Verification
Deductive Hardware Design: A Functional Approach
Deductive hardware design: a functional approach
Program-level Specification and Deductive Verification of Security Properties
Extending the reach and power of deductive program verification
Deductive systems :
The deductive spreadsheet
Theorizing in design science research: inductive versus deductive approaches
Deductive Reasoning in Pigeons
Program design calculi : [proceeedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992]
An adaptive deductive planning system
Implicit deductive responding in humans
User Interaction in Deductive Interactive Program Verification
Deductive Hardware Design: A Functional Approach
Deductive hardware design: a functional approach
Program-level Specification and Deductive Verification of Security Properties
Extending the reach and power of deductive program verification
Deductive systems :
The deductive spreadsheet
Theorizing in design science research: inductive versus deductive approaches
Deductive Reasoning in Pigeons
Program design calculi : [proceeedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992]
An adaptive deductive planning system
Implicit deductive responding in humans
User Interaction in Deductive Interactive Program Verification
Deductive Hardware Design: A Functional Approach
Deductive hardware design: a functional approach
Program-level Specification and Deductive Verification of Security Properties
Extending the reach and power of deductive program verification
Deductive systems :
The deductive spreadsheet
Theorizing in design science research: inductive versus deductive approaches
Deductive Reasoning in Pigeons
Program design calculi : [proceeedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992]
An adaptive deductive planning system