Konferenzschrift | Kongress

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]

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

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

Keyword
Softwarespezifikation
Programmverifikation
Programmierung
Verfeinerung

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)

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:13 PM CEST

Data provider

This object is provided by:
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 Programming and Mathematical Method (1990 : Marktoberdorf)
  • Springer

Time of origin

  • 1992

Other Objects (12)