Formal Methods Foundations Applications (221 results)
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, . (Lecture Notes in Computer Science)
Fitzgerald, John [Editor]; Jones, Cliff [Editor]; Lucas, Peter [Editor];
- Softcover
Seller: GuthrieBooks, Spring Branch, U.S.A.GuthrieBooks
Contact seller5-star sellerCondition: Used - Very good
US$ 5.99
US$ 6.99 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 49.07
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Marlton Books, Bridgeton, U.S.A.Marlton Books
Contact seller5-star sellerCondition: Used - Fair
US$ 50.63
US$ 3.00 shippingShips within U.S.A.Quantity: 1 available
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 54.40
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books From California, Simi Valley, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Fine
US$ 56.02
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Fine.
Formal Methods: Foundations and Applications : 13th Brazilian Symposium on Formal Methods, Sbmf 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Davies, Jim (EDT); Silva, Leila (EDT); Simao, Adenilso (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.55
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
- Softcover
Seller: BargainBookStores, Grand Rapids, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
US$ 65.06
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec. Book.
Formal Methods : Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Oliveira, Marcel Vinicius Medeiros (EDT); Woodcock, Jim (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 68.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 66.15
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Grand Eagle Retail, Bensenville, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 68.80
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 35, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24…submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 55.71
US$ 15.97 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 55.71
US$ 15.97 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 51.15
US$ 20.65 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 51.28
US$ 20.65 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 67.73
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. 179.
Formal Methods : Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Oliveira, Marcel Vinicius Medeiros (EDT); Woodcock, Jim (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.31
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 69.62
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 2011
- Softcover
Seller: Rarewaves.com USA, London, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 72.27
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2011.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 54.55
US$ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE 2011
- Softcover
Seller: Rarewaves.com USA, London, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
US$ 73.95
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New. 2011th.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.47
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 71.81
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 73.13
US$ 2.64 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 62.74
US$ 15.97 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 62.74
US$ 15.97 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 58.02
US$ 20.65 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 58.43
US$ 20.65 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 60.84
US$ 20.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
