Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (10 chapters)
-
Groß und klein
-
Formalisieren in kleinen Systemen
-
Theorien müssen nicht groß sein
-
Rahmenstücke
Keywords
About this book
About the author
Bibliographic Information
Book Title: Formale Methoden und kleine Systeme
Book Subtitle: Lernen, leben und arbeiten in formalen Umgebungen
Authors: Dirk Siefkes
Series Title: XTheorie der Informatik
DOI: https://doi.org/10.1007/978-3-322-84923-6
Publisher: Vieweg+Teubner Verlag Wiesbaden
-
eBook Packages: Springer Book Archive
Copyright Information: Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1993
Softcover ISBN: 978-3-528-05199-0Published: 01 October 1992
eBook ISBN: 978-3-322-84923-6Published: 08 March 2013
Edition Number: 1
Number of Pages: VIII, 190
Topics: Engineering, general