Hardback
Not available for sale
Out of stock
A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-depen
| ISBN: | 9780471961307 |
| Publisher: | John Wiley & Sons Inc,. |
| Imprint: | John Wiley & Sons Inc,. |
| Language: | English |
| Number of pages: | 239 |
| Weight: | 521g |
| Height: | 241mm |
| Width: | 165mm |
| Spine width: | 19mm |
$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