Cerone Antonio (162 results)
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Good
US$ 23.01
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Good. Book is slightly warping/bending. Book shows minor shelf wear and light scuffing. Pages are clean, text and pictures are intact and unmarred.
- Softcover
Seller: Books From California, Simi Valley, CA, U.S.A.Books From California
Contact seller4-star sellerCondition: Used - Very good
US$ 23.01
US$ 4.99 shippingShips within U.S.A.Quantity: 1 available
paperback. Condition: Very Good.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 42.20
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 41.68
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 55.02
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 55.81
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 41.67
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2011
- Softcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
US$ 60.73
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. The 14 revised full papers presented together with the abstracts of three keynote talks were carefu…lly reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software, on logics, as well as algorithms and types. This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Information Technology and Open Source - Applications for Education, Innovation, and Sustainability : SEFM 2012 Satellite Events, Insuedu, Mokmads, and Opencert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers
Cerone, Antonio (EDT); Persico, Donatella (EDT); Fernandes, Sara (EDT); Garcia-perez, Alexeis (EDT); Katsaros, Panagiotis (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.11
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Language: English
Published by Springer, 2021
Series: Communications in Computer and Information Science, Book 31 of 78. Book 31 of 78 - Communications in Computer and Information Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 58.11
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 44.95
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 52.94
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- 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.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 66.28
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium Tunis, Tunisia, November 20-24, 2006 Proceedings
Barkaoui, Kamel (EDT); Cavalcanti, Ana (EDT); Cerone, Antonio (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 67.79
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
US$ 52.93
US$ 20.02 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Springer, 2021
Series: Communications in Computer and Information Science, Book 31 of 78. Book 31 of 78 - Communications in Computer and Information Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.06
US$ 2.64 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
US$ 74.00
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2022
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
US$ 57.87
US$ 20.02 shippingShips from United Kingdom to 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
US$ 73.56
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
US$ 74.53
US$ 3.99 shippingShips within U.S.A.Quantity: 1 available
Condition: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
US$ 72.08
US$ 8.68 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New.
More imagesPublished by Edizioni 10/17, Salerno, 1997
- Softcover
- First Edition
Seller: Historia, Regnum et Nobilia, BATTIPAGLIA, SA, ItalyHistoria, Regnum et Nobilia
Contact seller4-star sellerCondition: Used - Fine
US$ 29.36
US$ 22.80 shippingShips from Italy to U.S.A.Quantity: 1 available
Brossura. Condition: ottimo. senza sovraccoperta. prima edizione. Formato in 16° quadrato; 70 pagine. Brossura editoriale figurata. Con 239 figure in nero.
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
US$ 68.72
US$ 16.68 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.83
US$ 15.99 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$ 69.83
US$ 15.99 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$ 69.83
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Language: English
Published by Springer, 2021
Series: Communications in Computer and Information Science, Book 31 of 78. Book 31 of 78 - Communications in Computer and Information Science
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 69.83
US$ 15.99 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$ 69.83
US$ 15.99 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Language: English
Published by Springer, 2023
Series: Texts in Theoretical Computer Science. An EATCS, Book 45 of 45. Book 45 of 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
US$ 74.67
US$ 11.34 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New.
