Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,17
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 59,54
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 59,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,73
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,69
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,55
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 65,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2019
ISBN 10: 3030311562 ISBN 13: 9783030311568
Da: Revaluation Books, Exeter, Regno Unito
EUR 77,61
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 200 pages. 9.25x6.10x0.43 inches. In Stock.
Condizione: New.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030311562 ISBN 13: 9783030311568
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 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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 | 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings | Dirk Beyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2019 | Springer | EAN 9783030311568 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Lingua: Tedesco
Editore: Schweizerischer Burgenverein, 2006
ISBN 10: 3908182174 ISBN 13: 9783908182177
Da: online-buch-de, Dozwil, Svizzera
EUR 22,12
Quantità: 1 disponibili
Aggiungi al carrelloDec 01, 2006. Condizione: gebraucht; sehr gut. Hrossformat, Hardcover, Auflage 2006, praktisch ungebraucht.
Lingua: Tedesco
Editore: Schweizerischer Burgenverein, 2006
ISBN 10: 3908182174 ISBN 13: 9783908182177
Da: online-buch-de, Dozwil, Svizzera
EUR 22,50
Quantità: 2 disponibili
Aggiungi al carrelloDec 01, 2006. Condizione: gebraucht; wie neu. neuwertig, Grossformat, Hardcover.
Lingua: Tedesco
Editore: Schweizerischer Burgenverein, 2006
ISBN 10: 3908182174 ISBN 13: 9783908182177
Da: online-buch-de, Dozwil, Svizzera
EUR 28,00
Quantità: 1 disponibili
Aggiungi al carrelloDec 01, 2006. Condizione: gebraucht; wie neu. Grossformat, illustrierter Hardcover, ungebraucht.
Lingua: Tedesco
Editore: Schweizerischer Burgenverein, 2006
ISBN 10: 3908182174 ISBN 13: 9783908182177
Da: online-buch-de, Dozwil, Svizzera
EUR 39,00
Quantità: 1 disponibili
Aggiungi al carrelloDec 01, 2006. Condizione: Neu.
Editore: 2007, 2007
ISBN 10: 9995903393 ISBN 13: 9789995903398
Da: ChouetteCoop, Kervignac, Francia
EUR 23,73
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used: Good. Occasion - Bon Etat - Il faut être un battant ! Vivre apràs un AVC (2007) - Grand Format.
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 Sep 2019, 2019
ISBN 10: 3030311562 ISBN 13: 9783030311568
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 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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. 220 pp. Englisch.
Lingua: Inglese
Editore: Springer International Publishing, 2019
ISBN 10: 3030311562 ISBN 13: 9783030311568
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. This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited .
Lingua: Inglese
Editore: Springer, Springer Sep 2019, 2019
ISBN 10: 3030311562 ISBN 13: 9783030311568
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 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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 220 pp. Englisch.