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
More Copies for Sale
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
- Item Price
-
£3.38£4.84 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
£3.38
£4.84
shipping to USA
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
- Item Price
-
£40.38£4.00 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
£40.38
£4.00
shipping to USA
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
- Item Price
-
£123.13£10.00 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
£123.13
£10.00
shipping to USA
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
- Item Price
-
£123.72£7.99 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
£123.72
£7.99
shipping to USA
Stock Photo: Cover May Be Different
FME 2003
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540408284 / 3540408282
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
£115.23£3.22 shipping to USA
Show Details
Description:
Springer , pp. 964 . Papeback. New.
Item Price
£115.23
£3.22
shipping to USA
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
- Item Price
-
£168.79£12.11 shipping to USA
Show Details
Description:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Item Price
£168.79
£12.11
shipping to USA