Description:
Springer, 2005-08-22. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Stock Photo: Cover May Be Different
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings Paperback - 2005 - 2005th Edition
by John Fitzgerald (Editor); Ian J. Hayes (Editor)
First line
It has been recognised for a while that formal specifications and models can bring much to software testing [16], [10].
Details
- Title FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, Uk, July 18-22, 2005, Proceedings
- Author John Fitzgerald (Editor); Ian J. Hayes (Editor)
- Binding Paperback
- Edition number 2005th
- Edition 2005
- Pages 558
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2005-07-04
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9783540278825 / 3540278826
- Weight 1.77 lbs (0.80 kg)
- Dimensions 9.21 x 6.14 x 1.17 in (23.39 x 15.60 x 2.97 cm)
- Library of Congress Catalog Number 2005928720
- Dewey Decimal Code 004.131
More Copies for Sale
Stock Photo: Cover May Be Different
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
by Fitzgerald, John [Editor]; Hayes, Ian J. [Editor];
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540278825 / 3540278826
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
NZ$65.13NZ$9.97 shipping to USA
Show Details
Item Price
NZ$65.13
NZ$9.97
shipping to USA
FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
by John Fitzgerald
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540278825 / 3540278826
- Quantity Available
- 879
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
NZ$103.10NZ$16.83 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings.
Item Price
NZ$103.10
NZ$16.83
shipping to USA
Stock Photo: Cover May Be Different
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
by John Fitzgerald
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540278825 / 3540278826
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
NZ$124.84NZ$20.95 shipping to USA
Show Details
Description:
Paperback / softback. New. This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18-22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development.
Item Price
NZ$124.84
NZ$20.95
shipping to USA
Stock Photo: Cover May Be Different
FM 2005
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540278825 / 3540278826
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
NZ$132.55NZ$6.64 shipping to USA
Show Details
Description:
Springer , pp. 580 . Papeback. New.
Item Price
NZ$132.55
NZ$6.64
shipping to USA