FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)

Language: English

Published by Springer, Berlin, 1994

3540585559 / 9783540585558

  • Softcover
  • New
See all details

Seller: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, GermanyVersandbuchhandlung Kisch & Co.

5-star seller

AbeBooks seller since February 12, 2002

View this seller's items
Softcover

Condition: New

US$ 4.73

US$ 52.33 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Gebraucht - Wie neu ungelesen, sehr guter Zustand; unused, very good condition; -This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value. 744 pp. Englisch.

Seller Inventory # INF1000087783

Title
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings (Lecture Notes in Computer Science)
Author
Methods, International Symposium Of Formal
Publisher
Springer, Berlin
Publication year
1994
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3540585559
ISBN 13
9783540585558
Item weight
1,030 grams
Dimensions
235x156x37 mm

Versandbuchhandlung Kisch & Co.

Fürstenberg OT Blumenow, Germany

5-star seller

AbeBooks seller since February 12, 2002

Shipping rates from Germany to U.S.A.

Item4 to 14 business days4 to 14 business days
First itemUS$ 52.33US$ 52.33
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
  • Invoice
  • Paypal

Store description

Wir führen Restauflagen und Mängelexemplare zu stark vergünstigten Preisen. Alle Artikel werden professionell verpackt. Zudem führen wir fast jedes lieferbare Neubuch und eine große Auswahl an Nonbook-Artikeln (Spiele, DVDs, Software). Zum Stöbern besuchen Sie doch unsere beiden Ladengeschäfte in Berlin Kreuzberg - bitte beachten Sie, dass Sie in unseren Ladengeschäften natürlich nur einen kleine Auswahl unseres Onlineangebotes vorfinden: Buchhandlung Kisch & Co. (Sortimentsbuchhandlung) Oranienstraße 25 10999 Berlin Mit dem öffentlichen Nahverkehr zu uns: (Bus M 29/ Adalbertstraße; U-Bahn U1/ Kottbusser Tor) Antiquariat Kisch & Co. Wiener Str. 17 10999 Berlin Mit dem öffentlichen Nahverkehr zu uns: (Bus M 29/ Spreewaldplatz; U-Bahn U1/Görlitzer Bahnhof)

Specialty

Belletristik, Fotografie/ Kunstbuch, Modernes Antiquariat, Fachbücher

Seller's business information

Versandbuchhandlung Kisch & Co.

Germany