Overview
- A novel approach to the construction of a system
Part of the book series: Applied Computing (APPLCOMP)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (8 chapters)
-
Building Correct Systems
-
Theoretical Foundations
Authors and Affiliations
Bibliographic Information
Book Title: Correct Systems
Book Subtitle: Building a Business Process Solution
Authors: Mike Holcombe, Florentin Ipate
Series Title: Applied Computing
DOI: https://doi.org/10.1007/978-1-4471-3435-0
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1998
Softcover ISBN: 978-3-540-76246-1Published: 26 August 1998
eBook ISBN: 978-1-4471-3435-0Published: 06 December 2012
Series ISSN: 1431-1542
Edition Number: 1
Number of Pages: XX, 206
Topics: System Performance and Evaluation, Computer System Implementation, Software Engineering, Logics and Meanings of Programs