Brinksma E Ed (9 results)

Author:

Refine with Advanced Search

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, . 1217 (Lecture Notes in Computer Science)
Brinksma, E. (ed.)
Language: English
Published by Springer, 1997
3540627901 / 9783540627906
- Softcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
5-star seller
Contact seller
Condition: Used - Good
US$ 6.09
US$ 18.12 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783540627906.
More images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Language: English
Published by Springer, 1997
3540627901 / 9783540627906
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
US$ 48.46
US$ 2.64 shipping
Ships within U.S.A.
Quantity: 1 available
Condition: As New. Unread book in perfect condition.
More images
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Language: English
Published by Springer, 2001
3540424792 / 9783540424796
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
US$ 65.71
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Language: English
Published by Springer, 2001
3540424792 / 9783540424796
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
US$ 70.04
US$ 2.64 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Language: English
Published by Springer, 1997
3540627901 / 9783540627906
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
US$ 83.00
US$ 2.64 shipping
Ships within U.S.A.
Quantity: 1 available
Condition: New.
More images
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Language: English
Published by Springer, 2001
3540424792 / 9783540424796
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
US$ 67.93
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Language: English
Published by Springer, 1997
3540627901 / 9783540627906
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
US$ 69.21
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
More images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Language: English
Published by Springer, 1997
3540627901 / 9783540627906
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
US$ 76.74
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
More images
Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Language: English
Published by Springer, 2001
3540424792 / 9783540424796
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
US$ 76.71
US$ 19.98 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.