Hardback
Not available for sale
Out of stock
The second of three volumes on algebraic specification in software. The first (1985) covered the basics; the third (due in "the next few years") will cover first order axioms and specification logics. This volume studies module specifications and their interconnections together with constraints on their application. Annotation copyright Book News,
| ISBN: | 9780387517995 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Weight: | 716g |
| Height: | 155mm |
| Width: | 233mm |
| Spine width: | 26mm |
$10.73off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.73
$9.05off
The Real Internet Architecture
Paperback
Published 01 Oct 2024
Save $9.05
$16.71off
Learning Systems Thinking
Paperback
Published 30 Jul 2024
Save $16.71
$15.88off
Platform Engineering
Paperback
Published 18 Oct 2024
Save $15.88
High Performance Computing
Paperback
Published 09 Dec 2024
$20.44off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $20.44
$18.10off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $18.10
Embedded System Design
Paperback
Published 29 Jan 2024
$8.85off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.85
$5.29off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.29