Zustand: As New. Unread book in perfect condition.
Paperback. Zustand: New.
Zustand: New.
Zustand: New.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 5,30
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 5,30
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 44 pages. 9.00x6.00x0.11 inches. In Stock.
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 17,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Zustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 14,44
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 14,43
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 16,82
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Zustand: New.
Zustand: New.
Zustand: New.
Paperback or Softback. Zustand: New. NASA Formal Methods: Third International Symposium, Nfm 2011, Pasadena, Ca, Usa, April 18-20, 2011, Proceedings. Book.
Zustand: New.
EUR 16,50
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New.
Zustand: As New. Unread book in perfect condition.
Zustand: As New. Unread book in perfect condition.
Zustand: 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.
Sprache: Englisch
Verlag: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642203973 ISBN 13: 9783642203978
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 70,17
Anzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. 2011th.
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.
EUR 55,64
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
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,68
Anzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
EUR 55,63
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,95
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 59,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 63,65
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.