Code: 04461033
Partial Order Methods in Verification
by Doron Peled
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail de ... more
- Language:
English - Binding: Hardback
- Number of pages: 403
Publisher: American Mathematical Society, 1997
- More about this
145.09 €
RRP: 145.09 €
You save 0 €
Availability:
50/50
We think title might be available. Upon your order we will do our best to get it within 6 weeks.We search the world
You might also like
-
Moonwalk
14.05 € -18 % -
The Score
12.43 € -21 % -
Berserk Deluxe Volume 1
35.89 € -25 % -
The Mistake
11.32 € -28 % -
The Deal
12.33 € -21 % -
Jujutsu Kaisen, Vol. 30
9.70 € -25 % -
Berserk Deluxe Volume 2
36.29 € -31 % -
Murdoku
14.65 € -22 % -
Dancing The Dream
19.91 € -31 % -
Berserk Deluxe Volume 3
55.40 € -
White Nights
4.54 € -14 % -
The Goal
12.93 € -16 % -
Threshing Day (Wing and Claw Collection)
17.79 € -29 % -
Invincible Compendium Volume 2
45.80 € -24 % -
Chainsaw Man, Vol. 21
9.90 € -20 % -
The Legacy
11.92 € -12 % -
Jujutsu Kaisen, Vol. 29
7.67 € -30 % -
Invincible Compendium Volume 3
45.80 € -24 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.08 € -13 % -
Jujutsu Kaisen, Vol. 26
9.60 € -22 % -
Berserk Deluxe Volume 5
55 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
Availability alert
Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
More about Partial Order Methods in Verification
You get 351 loyalty points
Book synopsis
Presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. This book contains surveys of techniques used in tools developed for automatic validation of systems. It includes an e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.
Book details
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
145.09 €
- Full title: Partial Order Methods in Verification
- Author: Doron Peled
- Language: English
- Binding: Hardback
- Number of pages: 403
- EAN: 9780821805794
- ISBN: 0821805797
- ID: 04461033
- Publisher: American Mathematical Society
- Weight: 964 g
- Date of publishing: 15. April 1997
Collection points Bratislava a 12839 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25682 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)