MONARCHY BOOKS   


Quick Search

Author
Title
Description
Keyword
Advanced Search
 
 
 
 

Religion & Spirituality , Professional & Technical , Science & Technology

 - 2 items found in your search
Religion & Spirituality , Professional & Technical , Science & Technology

Click on Title to view full description

 
1 Bradfield Julian Charles VERIFYING TEMPORAL PROPERTIES OF SYSTEMS
Boston Birkhauser Boston 1992 0817636250 / 9780817636258 No Edition Stated Hardcover Fine Hardcover 
Clean over all with no marks folds or highlights inside. Nearly as new condition. 113 pages with the index. This monograph presents a novel and powerful general-purpose proof technique for verifying concurrent systems, both finite and infinite. The technique used is a tableau method, based on the logic of the modal mu-calculus, that makes it possible to give a relatively straightforward set of rules for constructing a tableau from a given formula and the local structure of the model. It is notable for its mixture of automatic checking and proof requiring intelligence, a blend that is essential for general infinite systems and which makes the method suitable for computer assisted verification.We can ship from the USA and Canada. We list books that are academic, collectible and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.Edition: No Edition Stated; Fine; Clean over all with no marks folds or highlights inside. Nearly as new condition. 113 pages with the index. This monograph presents a novel and powerful general-purpose proof technique for verifying concurrent systems, both finite and infinite. The technique used is a tableau method, based on the logic of the modal mu-calculus, that makes it possible to give a relatively straightforward set of rules for constructing a tableau from a given formula and the local structure of the model. It is notable for its mixture of automatic checking and proof requiring intelligence, a blend that is essential for general infinite systems and which makes the method suitable for computer assisted verification. 
Price: 18.20 USD
Add to Shopping Cart
 
 
2 Mazzucco Frank Earth's Conditions and Extraterrestial Reality
New York Vantage 1992 0533097215 / 9780533097210 First Edition Signed Hardcover Fine Fine Hardcover 
Clean nearly as new condition with no marks folds or highlighting inside. A look at our universe and how it got that way.We can ship from the USA and Canada. We list books that are academic, collectible and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us. 
Price: 25.35 USD
Add to Shopping Cart
 


Questions, comments, or suggestions
Please write to [email protected]
Copyright©2020. All Rights Reserved.
Powered by ChrisLands.com

 

 

cookie