Programming and mathematical method : [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990]

Konferenzschrift | Kongress

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISBN: 9783540555582 ; 3540555587 ; 9780387555584 ; 0387555587
• Dimensions: 25 cm
• Extent: VIII, 407 S.
• Language: Deutsch
• Notes: graph. Darst. ; Literaturangaben

References and Relationships

• Bibliographic citation: NATO ASI series / F / NATO ; Vol. 88, Series F

Classification and Topics

• Keyword: Softwarespezifikation ; Programmverifikation ; Programmierung ; Verfeinerung

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
• (who): Springer
• (when): 1992
• Contributor: Broy, Manfred ; Advanced Study Institute on Programming and Mathematical Method (1990 : Marktoberdorf)

Further information

• Table of contents: https://d-nb.info/921092814/04
• Rights: Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
• Last update: 11.06.2025, 2:13 PM CEST