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

Contact seller

Report this item

Bibliographic Details

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)
Publisher: Springer, Berlin
Publication Date: 1994
Language: English
ISBN 10: 3540585559
ISBN 13: 9783540585558
Binding: Taschenbuch
Condition: Neu
Dimensions: 235 millimeters width by 156 millimeters height by 37 millimeters depth
Weight: 1030 grams

About this title

Synopsis

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.

"About this title" may belong to another edition of this title.

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)

Visit Seller's Storefront

Seller's business information

Versandbuchhandlung Kisch & Co.
Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen

Allgemeines - Geltungsbereich

1.1. Die folgenden Allgemeinen Gesch�ftsbedingungen gelten f�r alle Gesch�ftsbeziehungen zwischen uns und unseren Kunden. Ma�geblich ist jeweils die zum Zeitpunkt des Vertragsschlusses g�ltige Fassung.

1.2. Verbraucher i. S. d. Gesch�ftsbedingungen sind nat�rliche Personen, mit denen wir in Gesch�ftsbeziehung treten, ohne da� diesen eine gewerbliche oder selbst�ndige berufliche T�tigkeit zugerechnet werden kann. Unternehmer i. S. d. G...

More Information

Shipping Terms

Die Versandkostenpauschalen basieren auf Durchschnittswerten f�r 1 kg schwere B�cher. �ber abweichende Kosten (z.B. wegen eines sehr schweren Buches) werden Sie gegebenenfalls vom Verk�ufer informiert.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	4 to 14 business days	4 to 14 business days
First item	US$ 53.34	US$ 53.34

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.