Condition: As New. Unread book in perfect condition.
Paperback. Condition: New.
Condition: New.
Condition: New.
Language: English
Published by Independently published, 2019
ISBN 10: 1700355988 ISBN 13: 9781700355980
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 45 pages. 9.00x6.00x0.12 inches. In Stock.
Language: English
Published by Independently published, 2019
ISBN 10: 1679782304 ISBN 13: 9781679782305
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
Paperback. Condition: New.
Condition: New.
£ 12.15
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: As New. Unread book in perfect condition.
Condition: New.
Condition: New.
Condition: New.
Paperback or Softback. Condition: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
Language: English
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Paperback. Condition: New.
Language: English
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
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.
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642203973 ISBN 13: 9783642203978
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New. 2011th.
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.
Language: English
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 46.81
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by VDM Verlag Dr. Mïż½ller 2011-01-12, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Seller: Chiron Media, Wallingford, United Kingdom
Paperback. Condition: New.
Language: English
Published by VDM Verlag Dr. Müller, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.