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: Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, DeutschlandChe & Chandler Versandbuchhandlung

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. Juni 2009

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

Che & Chandler Versandbuchhandlung

Fürstenberg OT Blumenow, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 17. Juni 2009

Versandkosten von Deutschland nach USA

Artikel8 bis 14 Werktage25 bis 45 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
  • Lastschrift
  • PayPal
  • Rechnung
  • Vorauskasse

Shopbeschreibung

Über 30.000 lieferbare Titel aus gut sortierten Sachgebieten, davon etwa 20.000 reduzierte Titel, das beste Angebot an linker Literatur und Modernem Antiquariat im deutschsprachigen Raum!

Spezialisierung

Politik, Geschichte, linke Literatur, soziale Bewegungen, DDR

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Che & Chandler Versandbuchhandlung

Deutschland