FME 2001: Formal Methods for Increasing Software Productivity

Language: English

Published by Springer Berlin Heidelberg, 2001

3540417915 / 9783540417910

  • Softcover
  • New
See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

View this seller's items
Softcover

Condition: New

£ 81.52

£ 42.02 shipping 
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket

Item description from seller

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. FME 2001 is the tenth in a series of meetings organized every eighteen months by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. It follows four VDM Euro.

Seller Inventory # 4889445

Title
FME 2001: Formal Methods for Increasing Software Productivity
Author
Oliveira, Jose N.|Zave, Pamela
Publisher
Springer Berlin Heidelberg
Publication year
2001
Condition
New
Binding
Kartoniert / Broschiert
Language
English
ISBN 10
3540417915
ISBN 13
9783540417910
Seller catalogs
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item16 to 45 business days16 to 45 business days
First item£ 42.02£ 42.02
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
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268