Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing

Buy Now

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (Paperback, 1996 ed.) Loot Price: R1,532

Discovery Miles 15 320

Repayment Terms: R144 pm x 12*

Add to cart

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (Paperback, 1996...

Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem (Paperback, 1996 ed.)

Patrice Godefroid

Series: Lecture Notes in Computer Science, 1032

(sign in to rate)

Loot Price R1,532 Discovery Miles 15 320 | Repayment Terms: R144 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Li ge, Belgium, with Pierre Wolper as thesis advisor.
The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1032
Release date:	1996
First published:	1996
Editors:	Patrice Godefroid
Dimensions:	235 x 155 x 8mm (L x W x T)
Format:	Paperback
Pages:	143
Edition:	1996 ed.
ISBN-13:	978-3-540-60761-8
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > Parallel processing Promotions
LSN:	3-540-60761-7
Barcode:	9783540607618