Hardback (24 Apr 1996)
Not available for sale
Out of stock
This volume describes the fundamental ideas behind the imperative future view for executable temporal logics, and shows how they can be implemented. It also contains more theoretical material relevant to executable temporal logic.
| ISBN: | 9780863801907 |
| Publisher: | Research Studies |
| Imprint: | Wiley Blackwell |
| Pub date: | 24 Apr 1996 |
| DEWEY: | 005.131 |
| DEWEY edition: | 20 |
| Number of pages: | 256 |
| Weight: | 530g |
| Height: | 229mm |
| Width: | 152mm |
| Spine width: | 15mm |
$10.65off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.65
$8.98off
The Real Internet Architecture
Paperback
Published 01 Oct 2024
Save $8.98
$16.27off
Learning Systems Thinking
Paperback
Published 30 Jul 2024
Save $16.27
$16.69off
Platform Engineering
Paperback
Published 18 Oct 2024
Save $16.69
$8.04off
High Performance Computing
Paperback
Published 09 Dec 2024
Save $8.04
$19.90off
Head First Software Architecture
Paperback
Published 19 Mar 2024
Save $19.90
$17.67off
NGINX Cookbook
Paperback
Published 09 Feb 2024
Save $17.67
$7.86off
Embedded System Design
Paperback
Published 29 Jan 2024
Save $7.86
$8.79off
Topological Duality for Distrib...
Hardback
Published 07 Mar 2024
Save $8.79
$5.25off
Programming the 65816
Paperback
Published 31 Jan 1987
Save $5.25