This site may earn a commission as part of the eBay Partner Network and Amazon Associates Program if you make a purchase through our links.
Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.
180.00$ Buy It Now
Item | 225981844055 |
---|---|
Seller |
zhgu04 ( 0 ⭐ ) 0.0% Location: San Diego, US, California Accept Payments With , |
Shipping | See shipping cost, Ships to United States, ... |
Guarantee | eBay Money Back Guarantee |
Condition | Brand New |
Subject | Computer Science, Logic |
ISBN | 9780198537809 |
Subject Area | Mathematics, Computers |
Publication Name | Handbook of Logic in Computer Science : Volume 4: Semantic Modelling |
Publisher | Oxford University Press, Incorporated |
Item Length | 9.2 in |
Publication Year | 1995 |
Series | Handbook of Logic in Computer Science Ser. |
Type | Handbook |
Format | Hardcover |
Language | English |
Item Height | 1.6 in |
Author | Dov M. Gabbay |
Item Weight | 39.2 Oz |
Item Width | 6.1 in |
Number of Pages | 666 Pages |
No more products to load