World Congress Formal Methods Development (15 results)

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: Used - Very good

£ 16.24

£ 5.26 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: Used - As new

£ 53.76

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: New

£ 64.18

£ 1.99 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Spin'9 (1999 Toulouse, France); Gerth, R. (EDT); Massinek, M. (EDT); Massinek, Mieke (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Dams, Dennis (EDT); Dams, Dennis; World Congress on Formal Methods in the Development of Computing syste (COR)

Condition: New

£ 50.19

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Practical Aspects of Spin Model-Checking : 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, M. (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: Used - As new

£ 55.88

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, Jeannette Marie (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: New

£ 100.33

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, M. (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: New

£ 100.33

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, M. (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: Used - As new

£ 106.47

£ 1.99 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, M. (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: New

£ 96.87

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, Jeannette Marie (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: Used - As new

£ 107.98

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

World Congress on Formal Methods in the Development of Computing syste/ Woodcock, Jim (Editor)/ Davies, Jim (Editor)/ Goos, G. (Editor)/ Hartmanis, J. (Editor)/ Leeuwen, J. Van (Editor)/ Wing, Jeannette Marie (Editor)/ Wing, Jeannette Marie/ Woodcock, Jim/ Davies, Jim

Condition: New

£ 115.18

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer Verlag, 1999

Softcover

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

World Congress on Formal Methods in the Development of Compu

Condition: New

£ 138.15

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 2 available

Paperback. Condition: Brand New. 1st edition. 1875 pages. 9.25x6.50x1.50 inches. In Stock.

FM*99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, . II (Lecture Notes in Computer Science (1709))

Language: English

Published by Springer, 1999

Softcover

Seller: Mispah books, Redhill, SURRE, United KingdomMispah books

4-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, Jeannette Marie (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: Used - As new

£ 152.00

£ 25.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: 1 available

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

World Congress on Formal Methods in the Development of Computing syste; Woodcock, Jim (EDT); Davies, Jim (EDT); Goos, G. (EDT); Hartmanis, J. (EDT); Leeuwen, J. Van (EDT); Wing, Jeannette Marie (EDT); Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim

Condition: Used - As new

£ 159.99

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Fm'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Language: English

Published by Springer, 1999

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller