Paperback
Not available for sale
Out of stock
Contains 37 papers, read at the Sept. 1991 meeting, on logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; and theory-based systems for specifying, synthesizing, transforming, testing, a
| ISBN: | 9780387544151 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| Language: | English |
| Number of pages: | 770 |
| Weight: | -1g |
$15.01off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.01
$9.72off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $9.72
$7.21off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $7.21
$13.12off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.12
$16.21off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.21
$4.79off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.79
$18.28off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $18.28
$16.67off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $16.67
$71.80off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $71.80