On the refinement of nondeterministic recursive routines by transformation

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: Programming concepts and methods: proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2 - 5 April, 1990, S. 53-71

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
1990
Ereignis
Veröffentlichung
(wo)
Amsterdam
(wer)
North-Holland
(wann)
1990
Urheber
Berghammer, Rudolf
Ehler, Herbert
Möller, Bernhard
Beteiligte Personen und Organisationen
Broy, Manfred
Jones, C. B.

URN
urn:nbn:de:bvb:384-opus4-162272
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:41 MEZ

Datenpartner

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

Beteiligte

  • Berghammer, Rudolf
  • Ehler, Herbert
  • Möller, Bernhard
  • Broy, Manfred
  • Jones, C. B.
  • Universität Augsburg
  • North-Holland

Entstanden

  • 1990

Ähnliche Objekte (12)