Skip to content

Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa
Stock Photo: Cover May Be Different

Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings Paperback - 2003 - 2003rd Edition

by Keijiro Araki (Editor); Stefania Gnesi (Editor); Dion Mandrioli (Editor)


First line

The direct origins of modern fault-tolerant computing lie in John von Neumann's influential work in the early 1950s on "Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components" [22].

Details

  • Title Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
  • Author Keijiro Araki (Editor); Stefania Gnesi (Editor); Dion Mandrioli (Editor)
  • Binding Paperback
  • Edition number 2003rd
  • Edition 2003
  • Pages 946
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York
  • Date 2003-08-27
  • ISBN 9783540408284 / 3540408282
  • Weight 2.91 lbs (1.32 kg)
  • Dimensions 9.21 x 6.14 x 1.9 in (23.39 x 15.60 x 4.83 cm)
  • Library of Congress Catalog Number 2003058587
  • Dewey Decimal Code 005.1
Back to Top

More Copies for Sale

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September...
Stock Photo: Cover May Be Different

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science)

by Araki, Keijiro [Editor]; Gnesi, Stefania [Editor]; Mandrioli, Dion [Editor];

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9783540408284 / 3540408282
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
SGD 5.71
SGD 8.18 shipping to USA

Show Details

Description:
Springer, 2003-10-10. Paperback. Very Good. 6x1x9. Ex-library paperback in nice condition with the usual markings and attachments.
Item Price
SGD 5.71
SGD 8.18 shipping to USA
FME 2003: Formal Methods International Symposium of Formal Methods Europe, Pisa, Italy, September...
Stock Photo: Cover May Be Different

FME 2003: Formal Methods International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 Proceedings

by Araki, Keijiro ; Gnesi, Stefania; Mandrioli, Dion

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 10 / ISBN 13
9783540408284 / 3540408282
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
SGD 68.28
SGD 6.76 shipping to USA

Show Details

Description:
New York: Springer Verlag, 2003. Book. Very Good. Hardcover. 8vo - over 7¾" - 9¾" tall. Hardcover 2003 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 ;2805. [xvii, 942 p. : ill. ; 24 cm].
Item Price
SGD 68.28
SGD 6.76 shipping to USA
Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy,...
Stock Photo: Cover May Be Different

Fme 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : Proceedings

by International Symposium of Formal Methods Europe 2003 (Pisa, Italy)/ Araki, Keijiro/ Gnesi, Stefania/ Mandrioli, Dino/ Mandrioli, Dion

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540408284 / 3540408282
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
SGD 210.57
SGD 17.23 shipping to USA

Show Details

Description:
Springer-Verlag New York Inc, 2003. Paperback. New. 1st edition. 942 pages. 9.25x6.25x1.25 inches.
Item Price
SGD 210.57
SGD 17.23 shipping to USA
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy,...
Stock Photo: Cover May Be Different

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

by Keijiro Araki

  • New
Condition
New
ISBN 10 / ISBN 13
9783540408284 / 3540408282
Quantity Available
285
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
SGD 213.22
SGD 13.77 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings.
Item Price
SGD 213.22
SGD 13.77 shipping to USA
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September...
Stock Photo: Cover May Be Different

FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science, 2805)

by Araki, Keijiro [Editor]; Gnesi, Stefania [Editor]; Mandrioli, Dion [Editor];

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540408284 / 3540408282
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
SGD 285.43
SGD 20.49 shipping to USA

Show Details

Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
SGD 285.43
SGD 20.49 shipping to USA