Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(9 chapters)
About this book
Authors and Affiliations
-
Department of Computer Science, Faculty for Mathematics and Informatics, Catholic University of Nijmegen, Nijmegen, The Netherlands
Helmut A. Partsch
Bibliographic Information
Book Title: Specification and Transformation of Programs
Book Subtitle: A Formal Approach to Software Development
Authors: Helmut A. Partsch
Series Title: Springer Texts in Electrical Engineering
DOI: https://doi.org/10.1007/978-3-642-61512-2
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1990
Hardcover ISBN: 978-3-540-52356-7Published: 05 July 1990
Softcover ISBN: 978-3-540-52589-9Published: 05 July 1990
eBook ISBN: 978-3-642-61512-2Published: 06 December 2012
Series ISSN: 1431-8482
Edition Number: 1
Number of Pages: XIII, 493
Topics: Programming Techniques, Theory of Computation, Software Engineering/Programming and Operating Systems, Software Engineering, Programming Languages, Compilers, Interpreters, Data Structures