Partial-Order Methods for the Verification of Concurrent Systems An Approach to the State-Explosion Problem - Lecture Notes in Computer Science
Paperback
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
Book information
| ISBN: | 9780387607610 |
| Publisher: | Springer Verlag |
| Imprint: | Springer Verlag |
| DEWEY: | 005.2 |
| Language: | English |
| Weight: | 249g |
| Height: | 241mm |
| Width: | 158mm |
| Spine width: | 12mm |
We recommend
$10.98off
Quantum Computing Fundamentals
Paperback
Published 17 Aug 2021
Save $10.98
RRP $69.81- $58.83
$8.94off
Applied Computer Vision and Sof...
Hardback
Published 05 Oct 2023
Save $8.94
RRP $120.84- $111.90
$3.97off
Reaching Your New Digital Heights
Paperback
Published 07 Aug 2023
Save $3.97
RRP $60.41- $56.44
$22.62off
Programming Your GPU With OpenMP
Paperback
Published 02 Nov 2023
Save $22.62
RRP $102.05- $79.43
$1.96off
Campus Network Architectures an...
Paperback
Published 31 May 2023
Save $1.96
RRP $60.41- $58.45
$2.39off
Enterprise Wireless Local Area ...
Paperback
Published 31 May 2023
Save $2.39
RRP $60.41- $58.02
$11.78off
Neuromorphic Computing Principl...
Paperback
Published 03 Jun 2023
Save $11.78
RRP $73.84- $62.06
$3.08off
Introduction to Quantum Computing
Paperback
Published 28 Aug 2023
Save $3.08
RRP $42.96- $39.88
$13.50off
6G Visions for a Sustainable an...
Hardback
Published 09 Nov 2023
Save $13.50
RRP $130.24- $116.74