Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

Petrucci, Laure (EDT); Seceleanu, Cristina (EDT); Cavalcanti, Ana (EDT)

Language: English

Published by Springer, 2017

331967112X / 9783319671123

  • Softcover
  • New
See all details

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

AbeBooks seller since April 6, 2009

View this seller's items
Softcover

Condition: New

US$ 65.35

US$ 2.64 shipping 
Ships within U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Seller Inventory # 29944146-n

Report this item
Title
Critical Systems - Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Author
Petrucci, Laure (EDT); Seceleanu, Cristina (EDT); Cavalcanti, Ana (EDT)
Publisher
Springer
Publication year
2017
Condition
New
Binding
Soft cover
Language
English
ISBN 10
331967112X
ISBN 13
9783319671123

GreatBookPrices

Columbia, MD, U.S.A.

5-star seller

AbeBooks seller since April 6, 2009

Shipping rates within U.S.A.

Item5 to 14 business days8 to 14 business days
First itemUS$ 2.64US$ 2.64
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

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

SuperBookDeals.com is your top source for finding new books at the absolute lowest prices, guaranteed ! We offer big discounts - everyday - on millions of titles in virtually any category, from Architecture to Zoology -- and everything in between. Discover great deals and super-savings, on professional books, text book titles, the newest computer guides, or your favorite fiction authors. You'll find it all - at HUGE SAVINGS - at SuperBookDeals. Browse through our complete online product catalog today. Serving customers around the world for years, we help thousands find just the books they're looking for -- at incredibly low, bargain prices.

Seller's business information

Expert Trading Limited

9220 Rumsey Road, Suite 101
Columbia, MD U.S.A. 21045

Contact sellerView this seller's itemsView seller's storefront