Applications Formal Methods (792 results)
- Softcover
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.World of Books (was SecondSale)
Contact seller5-star sellerCondition: Used - Good
US$ 6.12
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc.
- Softcover
Seller: Zoom Books East, Glendale Heights, IL, U.S.A.Zoom Books East
Contact seller5-star sellerCondition: Used - Very good
US$ 6.77
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: very_good. Book is in very good condition and may include minimal underlining highlighting. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.
- Softcover
Seller: ThriftBooks-Dallas, Dallas, TX, U.S.A.ThriftBooks-Dallas
Contact seller5-star sellerCondition: Used - Good
US$ 8.27
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
US$ 10.35
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Softcover
Seller: suffolkbooks, center moriches, NY, U.S.A.suffolkbooks
Contact seller5-star sellerCondition: Used - Very good
US$ 18.00
US$ 3.99 shippingShips within U.S.A.Quantity: 18 available
paperback. Condition: Very Good. Fast Shipping - Safe and Secure 7 days a week.
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Good
US$ 9.40
US$ 17.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Good. No Dust Jacket. Lecture Notes in Computer Science 735 .Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, cle…an book with tight binding. ADG. Ex-Library.
- Softcover
Seller: BookOrders, Russell, IA, U.S.A.BookOrders
Contact seller5-star sellerCondition: Used - Fair
US$ 30.00
US$ 4.00 shippingShips within U.S.A.Quantity: 1 available
Soft Cover. Condition: Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library.
- Softcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contact seller5-star sellerCondition: Used - Good
US$ 43.69
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipp…ed with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.
- Hardcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 21.55
US$ 23.25 shippingShips from Germany to U.S.A.Quantity: 1 available
gebundene Ausgabe. Condition: Gut. 404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975.
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
US$ 16.81
US$ 34.97 shippingShips from Germany to U.S.A.Quantity: 1 available
23.5 cm x 15.5 cm, 0 g. XII, 132 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 49.78
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Fine
US$ 48.70
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Fine.
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
US$ 54.45
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
US$ 54.92
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
Contact seller5-star sellerCondition: Used - Fair
US$ 52.48
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: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 56.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
US$ 39.56
US$ 18.59 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. XVI, 361 S. : Ill., graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 54.60
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Hardcover
Seller: Montana Book Company, Fond du Lac, WI, U.S.A.Montana Book Company
Contact seller5-star sellerCondition: Used - Very good
US$ 53.87
US$ 3.98 shippingShips within U.S.A.Quantity: 1 available
Cloth. Condition: Very Good. Dust Jacket Condition: Printed Boards. 197 pp. Tightly bound. Top corners are bumped. Text is free of markings. The word "USED" neatly stamped on top fore-edge.
- Softcover
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 55.49
US$ 6.41 shippingShips from Italy to U.S.A.Quantity: 5 available
Condition: new.
Language: English
Published by Springer, 2017
Series: Book 57 of 99 - Undergraduate Topics in Computer Science
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 55.62
US$ 4.99 shippingShips within U.S.A.Quantity: 2 available
paperback. Condition: Very Good.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.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$ 61.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2017
Series: Book 57 of 99 - Undergraduate Topics in Computer Science
- Softcover
Seller: HPB-Red, Dallas, TX, U.S.A.HPB-Red
Contact seller5-star sellerCondition: Used - Good
US$ 57.34
US$ 3.75 shippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.
Language: English
Published by Springer, 2017
Series: Book 57 of 99 - Undergraduate Topics in Computer Science
- Softcover
Seller: Marlton Books, Bridgeton, NJ, U.S.A.Marlton Books
Contact seller5-star sellerCondition: Used - Fair
US$ 58.33
US$ 3.00 shippingShips within U.S.A.Quantity: 2 available
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2017.
- Softcover
Seller: Brook Bookstore On Demand, Napoli, NA, ItalyBrook Bookstore On Demand
Contact seller5-star sellerCondition: New
US$ 56.86
US$ 6.41 shippingShips from Italy to U.S.A.Quantity: Over 20 available
Condition: new.
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, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 59.35
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer International Publishing AG, Cham, 2024
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 61.99
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and research…ers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
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
US$ 59.35
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 60.16
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
