1999
Paperback (13 Aug 1999)
Save $9.13
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement.
| ISBN: | 9783540664253 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 13 Aug 1999 |
| Edition: | 1999 |
| DEWEY: | 004.35 |
| DEWEY edition: | 21 |
| Language: | English |
| Number of pages: | 572 |
| Weight: | 1820g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 30mm |
$2.63off
Mathematical Finance
Paperback
Published 24 Jan 2019
Save $2.63
$2.83off
Complexity
Paperback
Published 24 Jul 2014
Save $2.83
$7.77off
Why Machines Learn
Hardback
Published 16 Jul 2024
Save $7.77
Every Bit Counts
Paperback
Published 13 Dec 2024
$8.70off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $8.70
$3.14off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.14
$16.40off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.40
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024
