Gesamtpreis (1 Artikel Artikel):
Versandziel:
dongol brijesh (73 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (73)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (62)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (9)
- Gut oder Befriedigend (1)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Weitere Eigenschaften
- Erstausgabe (3)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (35)
- Keine Print-on-Demand Angebote (55)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16â"20, 2020, Proceedings: 12546 (Lecture Notes in Computer Science, 12546)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 33,11
Währung umrechnenEUR 8,71 für den Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,76
Währung umrechnenEUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Teaching (Paperback)
Verlag: Springer Nature Switzerland AG, Cham, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 56,10
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. 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 were carefully 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. 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 were carefully reviewed and selected from 22 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,67
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 54,15
Währung umrechnenEUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Integrated Formal Methods (Paperback)
Verlag: Springer Nature Switzerland AG, Cham, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
Sprache: Englisch
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 56,50
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: new. Paperback. 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 and selected 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. 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 and selected from 63 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 53,07
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 59,96
Währung umrechnenEUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 61,71
Währung umrechnenEUR 2,27 für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 65,45
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 65,45
Währung umrechnenKostenlos für den Versand innerhalb von/der USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,25
Währung umrechnenEUR 13,79 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,25
Währung umrechnenEUR 13,79 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019,
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,54
Währung umrechnenEUR 17,83 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings: 12546 (Lecture Notes in Computer Science, 12546)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,88
Währung umrechnenEUR 17,83 für den Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,24
Währung umrechnenEUR 17,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,24
Währung umrechnenEUR 17,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Software Engineering for Robotics
Anbieter: SpringBooks, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 44,69
Währung umrechnenEUR 29,90 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: As New. 1. Auflage. from Germany, will be dispatched immediately.
-
EUR 74,27
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods Teaching : Third Internat
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
EUR 68,60
Währung umrechnenEUR 10,50 für den Versand von Irland nach USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
EUR 78,51
Währung umrechnenEUR 3,43 für den Versand innerhalb von/der USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
-
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
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 65,64
Währung umrechnenEUR 17,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 66,06
Währung umrechnenEUR 17,27 für den Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
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
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,91
Währung umrechnenEUR 11,51 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 264 pages. 9.25x6.10x0.71 inches. In Stock.
-
Formal Methods Teaching : Third Internat
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 85,27
Währung umrechnenEUR 9,02 für den Versand innerhalb von/der USAAnzahl: 15 verfügbar
In den WarenkorbZustand: New.
-
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Verlag: Springer-Nature New York Inc, 2021
ISBN 10: 3030634604 ISBN 13: 9783030634605
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,25
Währung umrechnenEUR 14,39 für den Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 461 pages. 9.25x6.10x1.42 inches. In Stock.
-
Integrated Formal Methods
Verlag: Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -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 and selected 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
-
Formal Methods Teaching
Verlag: Springer International Publishing, Springer Nature Switzerland Okt 2019, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 60,00 für den Versand von Deutschland nach USAAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -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 were carefully 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
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
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 62,03 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
-
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16¿20, 2020, Proceedings
Verlag: Springer International Publishing, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenEUR 63,58 für den Versand von Deutschland nach USAAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: 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.
