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)

Sprache: Englisch

Verlag: Springer, Berlin, 1994

3540585559 / 9783540585558

Anbieter: Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, DeutschlandVersandbuchhandlung Kisch & Co.

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Februar 2002

Softcover

Zustand: Neu

EUR 3,95

EUR 45,00 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.

Bestandsnummer des Verkäufers INF1000087783

Titel
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)
Verlag
Springer, Berlin
Erscheinungsjahr
1994
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3540585559
ISBN-13
9783540585558
Artikelgewicht
1.030 Gramm
Abmessungen
235x156x37 mm

Versandbuchhandlung Kisch & Co.

Fürstenberg OT Blumenow, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Februar 2002

Versandkosten von Deutschland nach USA

Artikel4 bis 14 Werktage4 bis 14 Werktage
Erster ArtikelEUR 45,00EUR 45,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

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) …

Spezialisierung

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

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Versandbuchhandlung Kisch & Co.

Deutschland