Condizione: Good. Has some wear and creases. Has a remainder mark. paperback Used - Good 2023.
Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
EUR 13,67
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
Da: California Books, Miami, FL, U.S.A.
EUR 64,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 58,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Condizione: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031497368 ISBN 13: 9783031497360
Da: Revaluation Books, Exeter, Regno Unito
EUR 82,80
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 197 pages. 9.25x6.10x0.42 inches. In Stock.
Lingua: Inglese
Editore: Springer Nature Switzerland, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Da: moluna, Greven, Germania
EUR 52,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer Nature Switzerland Dez 2023, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 58,84
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 58,84
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
EUR 35,81
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during October 18¿20, 2023. The 12 full papers included in this book were carefully reviewed and selected from 36 submissions. The topics presented covered a range of subjects, including approaches to improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks.
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing Dez 2023, 2023
ISBN 10: 3031497368 ISBN 13: 9783031497360
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 58,84
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 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS2023, held in Marrakech, Morocco, during October 18-20, 2023.The 12 full papers included in this book were carefully reviewed and selected from 36 submissions.The topics presented covered a range of subjects, including approachesto improving the scalability and efficiency of formal verification and their applications to blockchain, smart contracts and neural networks. 200 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 80,94
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 83,58
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Da: preigu, Osnabrück, Germania
EUR 54,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Verification and Evaluation of Computer and Communication Systems | 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023, Proceedings | Belgacem Ben Hedia (u. a.) | Taschenbuch | xviii | Englisch | 2023 | Springer | EAN 9783031497360 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.