Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 52,42
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,08
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 60,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,57
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 60,57
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,86
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,20
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,83
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,72
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,20
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 66,68
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
EUR 44,69
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: As New. 1. Auflage. from Germany, will be dispatched immediately.
Da: Revaluation Books, Exeter, Regno Unito
EUR 78,10
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 264 pages. 9.25x6.10x0.71 inches. In Stock.
Condizione: New.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030634604 ISBN 13: 9783030634605
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,43
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 461 pages. 9.25x6.10x1.42 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
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 Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
Lingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
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 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed andselected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods Teaching | Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings | Brijesh Dongol (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2019 | Springer | EAN 9783030324407 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Integrated Formal Methods | 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings | Brijesh Dongol (u. a.) | Taschenbuch | xi | Englisch | 2020 | Springer | EAN 9783030634605 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 143,94
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 145,56
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 134,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 134,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 150,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 139,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 139,92
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 156,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.