Da: Revaluation Books, Exeter, Regno Unito
EUR 13,48
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 45 pages. 9.00x6.00x0.12 inches. In Stock.
EUR 13,48
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
EUR 13,82
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New.
Condizione: New.
Condizione: New.
Condizione: New.
Condizione: As New. Unread book in perfect condition.
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Lingua: Inglese
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: 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.
EUR 53,47
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Editore: VDM Verlag Dr. M�ller 2011-01-12, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Lingua: Inglese
Da: Chiron Media, Wallingford, Regno Unito
EUR 52,80
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 57,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 59,42
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 57,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,41
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 14,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Condizione: New. pp. 458.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 65,19
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback or Softback. Condizione: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 71,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: ALLBOOKS1, Direk, SA, Australia
EUR 87,68
Quantità: 1 disponibili
Aggiungi al carrelloBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Editore: Springer-Verlag New York Inc, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,83
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.
Editore: Springer-Verlag New York Inc, 2015
ISBN 10: 3319175238 ISBN 13: 9783319175232
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,38
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
Da: Revaluation Books, Exeter, Regno Unito
EUR 83,20
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 103,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Revaluation Books, Exeter, Regno Unito
EUR 99,54
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 344 pages. 9.25x6.10x0.94 inches. In Stock.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 101,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.