Skip to content

Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods:
Stock Photo: Cover May Be Different

Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, S Paperback - 1997 - 1997th Edition

by John Fitzgerald (Editor); Cliff B. Jones (Editor); Peter Lucas (Editor)


From the publisher

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.

Details

  • Title Fme '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, S
  • Author John Fitzgerald (Editor); Cliff B. Jones (Editor); Peter Lucas (Editor)
  • Binding Paperback
  • Edition number 1997th
  • Edition 1997
  • Pages 694
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 1997-09-03
  • ISBN 9783540635338 / 3540635335
  • Weight 2.15 lbs (0.98 kg)
  • Dimensions 9.21 x 6.14 x 1.42 in (23.39 x 15.60 x 3.61 cm)
  • Library of Congress Catalog Number 97037056
  • Dewey Decimal Code 005.101
Back to Top

More Copies for Sale

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th...
Stock Photo: Cover May Be Different

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... (Lecture Notes in Computer Science)

by Fitzgerald, John [Editor]; Jones, Cliff [Editor]; Lucas, Peter [Editor];

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540635338 / 3540635335
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£4.02
£4.83 shipping to USA

Show Details

Description:
Springer, 1997-10-16. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Item Price
£4.02
£4.83 shipping to USA
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International...
Stock Photo: Cover May Be Different

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)

by Fitzgerald, John; Jones, Cliff B. and Lucas, Peter

  • Used
  • Fine
  • Paperback
Condition
Used - Fine
Binding
Paperback
ISBN 10 / ISBN 13
9783540635338 / 3540635335
Quantity Available
1
Seller
Cincinnatii, Ohio, United States
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
£4.84
£3.23 shipping to USA

Show Details

Description:
Paperback. Fine. Publisher: Springer-Verlag 1997 Softcover, like new.
Item Price
£4.84
£3.23 shipping to USA
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International...
Stock Photo: Cover May Be Different

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... (Lecture Notes in Computer Science)

by Editor-John Fitzgerald; Editor-Cliff B. Jones; Editor-Peter Lucas

  • Used
  • Paperback
Condition
Used: Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540635338 / 3540635335
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£9.43
FREE shipping to USA

Show Details

Description:
Springer, 1997-10-16. Paperback. Used: Good.
Item Price
£9.43
FREE shipping to USA
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th...

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

by John Fitzgerald

  • New
Condition
New
ISBN 10 / ISBN 13
9783540635338 / 3540635335
Quantity Available
338
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£102.12
£7.99 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The FME '97 Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings.
Item Price
£102.12
£7.99 shipping to USA
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th...
Stock Photo: Cover May Be Different

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)

by Fitzgerald, John [Editor]; Jones, Cliff B. [Editor]; Lucas, Peter [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540635338 / 3540635335
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 1 of 5 Stars rating from Biblio customers.
Item Price
£156.48
£12.10 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£156.48
£12.10 shipping to USA