Condizione: As New. Unread book in perfect condition.
Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 67,54
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2017
ISBN 10: 3319614665 ISBN 13: 9783319614663
Da: Revaluation Books, Exeter, Regno Unito
EUR 76,70
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 176 pages. 9.25x6.10x0.40 inches. In Stock.
Condizione: New. pp. 153.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2017
ISBN 10: 3319614665 ISBN 13: 9783319614663
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Tests and Proofs | 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings | Sebastian Gabmeyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2017 | Springer | EAN 9783319614663 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 107,19
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Jun 2017, 2017
ISBN 10: 3319614665 ISBN 13: 9783319614663
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability. 176 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, 2017
ISBN 10: 3319614665 ISBN 13: 9783319614663
Da: moluna, Greven, Germania
EUR 48,37
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Includes supplementary material: sn.pub/extrasThis book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full pap.
Da: Majestic Books, Hounslow, Regno Unito
EUR 104,90
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 153.
Lingua: Inglese
Editore: Springer, Springer Jun 2017, 2017
ISBN 10: 3319614665 ISBN 13: 9783319614663
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 176 pp. Englisch.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 105,90
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 153.