Skip to content

Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal
Stock Photo: Cover May Be Different

Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings Paperback - 2002 - 2002nd Edition

by Lars-Henrik Eriksson (Editor); Peter A. Lindsay (Editor)


Details

  • Title Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings
  • Author Lars-Henrik Eriksson (Editor); Peter A. Lindsay (Editor)
  • Binding Paperback
  • Edition number 2002nd
  • Edition 2002
  • Pages 632
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York
  • Date 2002-07-10
  • ISBN 9783540439288 / 3540439285
  • Weight 3.24 lbs (1.47 kg)
  • Dimensions 11 x 8.5 x 1.3 in (27.94 x 21.59 x 3.30 cm)
  • Library of Congress Catalog Number 2002026690
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe,...
Stock Photo: Cover May Be Different

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)

by Eriksson, Lars-Henrik [Editor]; Lindsay, Peter A. [Editor];

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540439288 / 3540439285
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
CA$116.52
CA$8.27 shipping to USA

Show Details

Description:
Springer, 2002-08-26. Paperback. Very Good. 6x1x9. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Item Price
CA$116.52
CA$8.27 shipping to USA
FME 2002: Formal Methods-Getting IT Right; International Symposium of Formal Methods Europe,...
Stock Photo: Cover May Be Different

FME 2002: Formal Methods-Getting IT Right; International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 2002 Proceedings

by Erikson, Lars-Henrik ; Lindsay, Peter Alexander

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540439288 / 3540439285
Quantity Available
1
Seller
Redondo Beach, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$117.32
CA$6.83 shipping to USA

Show Details

Description:
New York: Springer Verlag, 2002. Book. Very Good. Hardcover. 8vo - over 7¾" - 9¾" tall. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2391. [xi, 624 p. : ill. ; 24 cm].
Item Price
CA$117.32
CA$6.83 shipping to USA
FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe,...

FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

by Lars-Henrik Eriksson

  • New
Condition
New
ISBN 10 / ISBN 13
9783540439288 / 3540439285
Quantity Available
288
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$178.39
CA$13.96 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings.
Item Price
CA$178.39
CA$13.96 shipping to USA
FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe,...
Stock Photo: Cover May Be Different

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science, 2391)

by Eriksson, Lars-Henrik [Editor]; Lindsay, Peter A. [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540439288 / 3540439285
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
CA$285.70
CA$20.70 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
CA$285.70
CA$20.70 shipping to USA
FME 2002
Stock Photo: Cover May Be Different

FME 2002

  • New
Condition
New
ISBN 10 / ISBN 13
9783540439288 / 3540439285
Quantity Available
4
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
CA$363.37
CA$5.51 shipping to USA

Show Details

Description:
Springer , pp. 644 . Papeback. New.
Item Price
CA$363.37
CA$5.51 shipping to USA