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
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
15.08.2025, 07:24 MESZ

Datenpartner

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

Beteiligte

Entstanden

  • 1990

Ähnliche Objekte (12)