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

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Handbook of Logic in Computer Science: Volume 4: Semantic Modelling
Editore: Clarendon Press
Data di pubblicazione: 1995
Lingua: Inglese
ISBN 10: 0198537808
ISBN 13: 9780198537809
Rilegatura: Rilegato
Condizione: New

Descrizione articolo

Riassunto

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.

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.

Descrizione libreria

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 4 a 14 giorni lavorativi	Da 3 a 5 giorni lavorativi
Primo articolo	EUR 3.88	EUR 12.07

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Informazioni dettagliate sul venditore