Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers

Brinksma, E.; W.R.Cleaveland; K.G.Larsen; T.Margaria; B. Steffen (eds.)

Published by Springer, c.1995, 1995

Condition: Used - Very good Soft cover

Save for Later

Sold by Harry Alter, Sylva, NC, U.S.A.

AbeBooks Seller since September 13, 1998

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - Very good

Price: US$ 20.00 Convert Currency

US$ 3.95 shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

(Lecture Notes in Computer Science 1019) Springer, Berlin c.1995, 8vo. paperbk. 289pp. F $.

Seller Inventory # 33658

Contact seller

Report this item

Bibliographic Details

Title

Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers

Publisher

Springer, c.1995

Publication Date

1995

Binding

paperback,

Condition

Very Good,

Seller catalogs

Store Description

Roughly 20,000 books browsable, history (of all sorts), sociology, socialism, economics, women's studies, African-American, military, philosophy, psychology, Christianity & Judaica, art, architecture, music, natural history, science, &c.&c. Store now located at 528 West Main St., Downtown Sylva, NC (an hour west of Asheville.). Normal hours are 11-5 Tuesday through Saturday, open until 7pm. on Thursdays. 828-631- 4924 or 828-631-9070 (store).

Visit Seller's Storefront

Seller's business information

Harry Alter
NC, U.S.A.

Sale & Shipping Terms

Terms of Sale

Credit Cards, Checks, money orders, or cash accepted.,
yours,
Harry Alter

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	5 to 14 business days	3 to 6 business days
First item	US$ 3.95	US$ 11.75

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.

Payment Methods

Check Money Order Cash

Add to Wants