T Margaria (59 results)
Tools & Algorithms for the Construction & Analysis of Systems First International Workshop, TACAS '95, Aarhus, Denmark, May 1995, Selected Papers
Brinksma, E.; W.R.Cleaveland; K.G.Larsen; T.Margaria; B. Steffen (eds.)
Published by Springer, c.1995, 1995
- Softcover
Seller: Harry Alter, Sylva, NC, U.S.A.Harry Alter
Contact seller5-star sellerCondition: Used - Very good
£ 15.40
£ 2.95 shippingShips within U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Very Good. (Lecture Notes in Computer Science 1019) Springer, Berlin c.1995, 8vo. paperbk. 289pp. F $.
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 43.78
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.93
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 45.93
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Margaria, Tiziana (EDT); Steffen, Bernhard (EDT); Ruckert, Roland (EDT); Posegga, Joachim (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 48.49
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 50.32
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 51.19
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.33
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Routledge, 2025
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.35
£ 1.97 shippingShips within U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Margaria, Tiziana (EDT); Steffen, Bernhard (EDT); Ruckert, Roland (EDT); Posegga, Joachim (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 53.67
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 53.70
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.06
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.06
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 54.25
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 55.11
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 55.43
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Language: English
Published by Routledge, 2025
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 59.11
£ 1.97 shippingShips within U.S.A.Quantity: 10 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.17
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.25
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Margaria, Tiziana (EDT); Steffen, Bernhard (EDT); Ruckert, Roland (EDT); Posegga, Joachim (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Sofsem 2017 : Theory and Practice of Computer Science, Proceedings
Steffen, Bernhard (EDT); Baier, Christel (EDT); van den Brand, Mark (EDT); Eder, Johann (EDT); Hinchey, Mike (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.46
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.53
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 65.33
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 65.33
£ 1.97 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Routledge, 2025
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 52.08
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: New.
Language: English
Published by Routledge, 2025
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 52.60
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Condition: As New. Unread book in perfect condition.
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Hahnle, Reiner (EDT); Knoop, Jens (EDT); Margaria, Tiziana (EDT); Schreiner, Dietmar (EDT); Steffen, Bernhard (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 54.74
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Sofsem 2015 : Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec Pod Sne?kou, Czech Republic, January 24-29, 2015, Proceedings
Italiano, Giuseppe (EDT); Margaria-Steffen, Tiziana (EDT); Pokorný, Jaroslav (EDT); Quisquater, Jean-Jacques (EDT); Wattenhofer, Roger (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.34
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.32
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 55.32
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
