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
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
15.08.2025, 7:24 AM CEST

Data provider

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

Associated

Time of origin

  • 1990

Other Objects (12)