Introduction

Metadaten
Author:	Bernhard Möller GND, Helmuth Partsch, Steve Schuman
URN:	urn:nbn:de:bvb:384-opus4-188334
Frontdoor URL	https://opus.bibliothek.uni-augsburg.de/opus4/18833
ISBN:	978-3-540-57499-6OPAC
Parent Title (English):	Formal program development: IFIP TC 2/WG 2 1 state of the art report
Publisher:	Springer
Place of publication:	Berlin
Editor:	Bernhard MöllerGND, Helmuth Partsch, Steve Schuman
Type:	Part of a Book
Language:	English
Year of first Publication:	1993
Publishing Institution:	Universität Augsburg
Release Date:	2017/07/21
First Page:	1
Last Page:	6
Series:	Lecture Notes in Computer Science; 755
DOI:	https://doi.org/10.1007/3-540-57499-9_14
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

Open Access