Articoli correlati a Volume 4. Semantic Modelling
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
- 1.: Models for concurrency
- 2.: Concrete process alegbra
- 3.: Correspondence between operational and denotational semantics: the full abstraction problem for PCF
- 4.: Effective algebras
- 5.: Abstract interpretation: a semantics based tool for program analysis
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreClarendon Press
- Data di pubblicazione1995
- ISBN 10 0198537808
- ISBN 13 9780198537809
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine666
- RedattoreAbramsky S., Gabbay Dov M., Maibaum T. S. E.
Compra usato
Condizioni: molto buonoClarendon Press at Oxford University...
Visualizza questo articolo
EUR 206,32
EUR 4,45 per la spedizione in U.S.A.
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 83,27
GRATIS per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Volume 4. Semantic Modelling
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
Editore:
Oxford University Press, Oxford, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
Nuovo
Rilegato
Da: Grand Eagle Retail, Fairfield, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780198537809
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
Editore:
Oxford University Press, Oxford, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Codice articolo 9780198537809
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
Editore:
Oxford University Press, Oxford, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
Nuovo
Rilegato
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 3 su 5 stelle
Hardcover. Condizione: 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Codice articolo 9780198537809
Quantità: 1 disponibili
Immagini fornite dal venditore
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Da: Lavendier Books, Foster, RI, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: 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. Codice articolo SKU1043853
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. First edition, first printing, 672 pp., Hardcover, NEW!! - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Photos available upon request. Codice articolo ZB1319855
Quantità: 1 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 4 su 5 stelle
HRD. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537809
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780198537809_new
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
HRD. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L1-9780198537809
Quantità: Più di 20 disponibili
Foto dell'editore
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
Editore:
Oxford University Press, 1995
ISBN 10: 0198537808
ISBN 13: 9780198537809
Antico o usato
Rilegato
Da: OM Books, Sevilla, SE, Spagna
Valutazione del venditore 5 su 5 stelle
Condizione: Usado - bueno. Codice articolo 9780198537809
Quantità: 1 disponibili