2010 edition
Paperback (30 Jun 2010)
Not available for sale
Out of stock
This volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli's scientific work, with a focus on the development and the application of formal methods.
| ISBN: | 9783642137532 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 30 Jun 2010 |
| Edition: | 2010 edition |
| Language: | English |
| Number of pages: | 413 |
| Weight: | 612g |
| Height: | 234mm |
| Width: | 155mm |
| Spine width: | 23mm |
$1.83off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.83
$1.34off
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Save $1.34
$7.88off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.88
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.83off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.83
$3.19off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.19
$16.66off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.66
Smart-Tech Society
Paperback
Published 14 Jun 2024
