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]

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540555582
3540555587
9780387555584
0387555587
Maße
25 cm
Umfang
VIII, 407 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
NATO ASI series / F / NATO ; Vol. 88, Series F

Schlagwort
Softwarespezifikation
Programmverifikation
Programmierung
Verfeinerung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest
(wer)
Springer
(wann)
1992
Beteiligte Personen und Organisationen
Broy, Manfred
Advanced Study Institute on Programming and Mathematical Method (1990 : Marktoberdorf)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:13 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Broy, Manfred
  • Advanced Study Institute on Programming and Mathematical Method (1990 : Marktoberdorf)
  • Springer

Entstanden

  • 1992

Ähnliche Objekte (12)