Condition: New.
Published by Independently published, 2019
ISBN 10: 1700355988 ISBN 13: 9781700355980
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 45 pages. 9.00x6.00x0.12 inches. In Stock.
Published by Independently published, 2019
ISBN 10: 1679782304 ISBN 13: 9781679782305
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
US$ 16.01
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: New.
Condition: New.
Condition: New.
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Condition: New.
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Language: English
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Condition: As New. Unread book in perfect condition.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Language: English
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condition: new. Paperback. This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 61.95
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 66.55
Quantity: Over 20 available
Add to basketCondition: New. In.
Published by VDM Verlag Dr. M�ller 2011-01-12, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 68.84
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 66.54
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 68.83
Quantity: Over 20 available
Add to basketCondition: New.
Condition: New. pp. 458.
Seller: ALLBOOKS1, Direk, SA, Australia
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
US$ 75.54
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Paperback or Softback. Condition: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 82.94
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Published by Jaypee Brothers Medical Pub, 2020
ISBN 10: 9389587506 ISBN 13: 9789389587500
Language: English
Seller: ALLBOOKS1, Direk, SA, Australia
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Published by Springer-Verlag New York Inc, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Language: English
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.