On the refinement of nondeterministic recursive routines by transformation

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Rudolf Berghammer, Herbert Ehler, Bernhard MöllerGND
URN:urn:nbn:de:bvb:384-opus4-162272
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/16227
ISBN:0-444-88545-5OPAC
Parent Title (English):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
Publisher:North-Holland
Place of publication:Amsterdam
Editor:Manfred Broy, C. B. Jones
Type:Part of a Book
Language:English
Year of first Publication:1990
Publishing Institution:Universität Augsburg
Release Date:2017/07/21
First Page:53
Last Page:71
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht