FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, . (Lecture Notes in Computer Science, 1313) [Paperback] Fitzgerald, John; Jones, Cliff B. and Lucas, Peter

Verlag

Springer

Erscheinungsjahr

1997

Sprache

Englisch

ISBN-10

3540635335

ISBN-13

9783540635338

Einband

Softcover

Zustand

Very Good

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

This book constitutes the refereed proceedings of FME ’97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Rese�a del editor

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

In the centre of the picturesque Market Town of Hay-on-Wye, UK; we serve the British and International Book Trades 364 days per year. Whilst always caring for individual requirements we buy and sell entire collections and libraries and efficiently dispatch large consignments to your door, whether you are a collector, a shop, a university, or a school. Vist our Online Shop at http://www.hayonwyebooksellers.com

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Hay-on-Wye Booksellers
14 High Town, Hay-on-Wye, HR3 5AE, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Mastercard, Visa, VisaDelta, Electron, Switch, Solo, cards accepted. Also cash and Sterling Checks (GBP Cheques). If you wish to pay via Switch/Maestro please ensure you enter in the start date and the issue number in the shopping basket. Alternatively you can enter in the information in the special intrusions field during the shopping basket.

Widerrufsbelehrung

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	19 bis 31�Werktage	19 bis 29�Werktage
Erster Artikel	EUR 75.09	EUR 115.52

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.