2016 Formal Methods 21st (20 results)
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 65.01
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, 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, FL, 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.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.18
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 70.37
US$ 16.11 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Lecture Notes in Computer Science)
John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
US$ 66.76
US$ 20.84 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 69.51
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 70.19
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Fm 2016 : Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Fitzgerald, John (EDT); Heitmeyer, Constance (EDT); Gnesi, Stefania (EDT); Philippou, Anna (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 77.46
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 103.77
US$ 3.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 755.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.53
US$ 71.53 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Joint 21st International Workshopon Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pi…sa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.53
US$ 76.18 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited tal…k and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software and systems engineering; theoretical foundations.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.86
US$ 80.73 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Critical Systems: Formal Methods and Automated Verification | Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings | Maurice…H. Ter Beek (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2016 | Springer | EAN 9783319459424 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.86
US$ 80.73 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. FM 2016: Formal Methods | 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings | John Fitzgerald (u. a.) | Taschenbuch | xxiii | Englisch | 2016 | Springer | EAN 9783319489889 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, j…uergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 100.68
US$ 47.08 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 816 pages. 9.25x6.10x1.84 inches. In Stock.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 167.62
US$ 20.18 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Critical Systems - Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Ter Beek, Maurice H. (EDT); Gnesi, Stefania (EDT); Knapp, Alexander (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 187.53
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: New
US$ 216.13
US$ 33.63 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 99.90
US$ 8.74 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 755.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 109.27
US$ 11.47 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 755.
