Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
ISBN 10: 0198537808 ISBN 13: 9780198537809
Published by Clarendon Press, 1995
New
Hardcover
From
Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since March 25, 2015
This specific item is no longer available.
About this Item
Description:
In. Seller Inventory # ria9780198537809_new
Synopsis:
The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.
About the Author: S. Abramsky, Dov M. Gabbay, and T. S.E. Maibaum are all at the Imperial College of Science, Technology and Medicine, University of London.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Handbook of Logic in Computer Science: ...
Publisher: Clarendon Press
Publication Date: 1995
Binding: Hardcover
Condition: New
Top Search Results from the AbeBooks Marketplace
Seller Image
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Seller: Lavendier Books, Foster, RI, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: Very Good. Clarendon Press at Oxford University Press; Oxford, 1995. Hardcover. Advanced Copy with publisher slip laid in. A Very Good, navy blue cloth binding with gilt and green lettering on front board and gilt lettering on spine, binding sturdy and intact, small dent bottom front and rear board edge, some handling/scuffing to boards, small soiled spot top and bottom front board, bit cocked, some crimping to spine edges, few scuff marks to text block edges, without Dust wrapper. A nice, clean and unmarked copy. 4to[quarto or approx. 11.5 x 13.5 inches], 651pp., glossary, references, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.Please note: Oversized books/sets MAY require additional postage then what is quoted for 2.2lb book. Seller Inventory # SKU1043853
Stock Image
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-B-017-01961
Buy Used
US$ 499.56
US$ 14.23 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Handbook of Logic in Computer Science : Semantic Modelling
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1556717-n
Stock Image
Handbook of Logic in Computer Science : Semantic Modelling
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1556717
Seller Image
Handbook of Logic in Computer Science : Semantic Modelling
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 1556717-n
Buy New
US$ 505.42
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
Published by
Oxford University Press, Oxford, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780198537809
Buy New
US$ 505.44
US$ 49.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Handbook of Logic in Computer Science
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198537809
Buy New
US$ 515.56
US$ 9.04 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Handbook of Logic in Computer Science
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L1-9780198537809
Stock Image
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
Published by
Oxford University Press, Oxford, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
New
Hardcover
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. This handbook volume covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9780198537809
Buy New
US$ 532.70
US$ 37.00 shipping
Ships from Australia to U.S.A.
Ships from Australia to U.S.A.
Quantity: 1 available
Seller Image
Handbook of Logic in Computer Science : Semantic Modelling
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 1556717
Buy Used
US$ 569.22
US$ 20.07 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available