Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 13,50
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 45 pages. 9.00x6.00x0.12 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 13,50
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 54,33
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 53,15
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 54,59
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 53,41
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 53,92
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: GreatBookPrices, Columbia, MD, USA
EUR 62,82
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Paperback. Zustand: 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.
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Sprache: Englisch
Verlag: VDM Verlag Dr. M�ller 2011-01-12, 2011
ISBN 10: 3639321820 ISBN 13: 9783639321821
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
EUR 53,21
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
Zustand: New. pp. 458.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 15,07
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: ALLBOOKS1, Direk, SA, Australien
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 65,67
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Paperback or Softback. Zustand: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 68,01
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 70,89
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 3642277047 ISBN 13: 9783642277047
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,72
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 337 pages. 9.50x6.25x0.75 inches. In Stock.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2015
ISBN 10: 3319175238 ISBN 13: 9783319175232
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 81,27
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2015 edition. 435 pages. 9.00x6.00x1.25 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 83,10
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 536 pages. 9.20x6.20x1.20 inches. In Stock.
Zustand: As New. Unread book in perfect condition.
Anbieter: Lucky's Textbooks, Dallas, TX, USA
EUR 103,55
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Zustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 104,39
Anzahl: 3 verfügbar
In den WarenkorbZustand: New.