Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Authors and Affiliations
Bibliographic Information
Book Title: Algebraic Specifications in Software Engineering
Book Subtitle: An Introduction
Authors: Ivo Horebeek, Johan Lewi
DOI: https://doi.org/10.1007/978-3-642-75030-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1989
Softcover ISBN: 978-3-642-75032-8Published: 21 December 2011
eBook ISBN: 978-3-642-75030-4Published: 06 December 2012
Edition Number: 1
Number of Pages: XIV, 350
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages