We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Seller Inventory # DA1412482

Contact seller

Report this item

Bibliographic Details

Title: Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005
Publisher: Springer
Publication Date: 2005
Language: English
ISBN 10: 3540243623
ISBN 13: 9783540243625
Binding: Paperback
Condition: Very Good
Weight: 15 ounces

About this title

Synopsis

claritywas“AProvablyCorrectCompilerforE?cientModelCheckingofMobile Processes,”byPingYang,YifeiDong,C.R.Ramakrishnan,andScottA.Smolka.

"About this title" may belong to another edition of this title.

Store Description

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visit Seller's Storefront

Seller's business information

GuthrieBooks
TX, U.S.A.

Sale & Shipping Terms

Terms of Sale

At this time we accept payment through Visa or Mastercard.

Shipping Terms

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.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 6 business days
First item	US$ 6.99	US$ 13.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.