On the refinement of nondeterministic recursive routines by transformation

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
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

Classification
Informatik

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
1990
Event
Veröffentlichung
(where)
Amsterdam
(who)
North-Holland
(when)
1990
Creator
Berghammer, Rudolf
Ehler, Herbert
Möller, Bernhard
Contributor
Broy, Manfred
Jones, C. B.

URN
urn:nbn:de:bvb:384-opus4-162272
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:41 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

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

Time of origin

  • 1990

Other Objects (12)