Gesamtpreis (1 Artikel Artikel):
Versandziel:
software engineering formal methods (950 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (950)
- 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
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (310)
- Keine Print-on-Demand Angebote (746)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Verlag: Addison Wesley 29/06/1992, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Sprache: Englisch
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,33
Währung umrechnenEUR 3,52 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 130,29
Gebraucht ab EUR 8,85
Mehr entdecken Softcover
-
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, . (Lecture Notes in Computer Science, 10729)
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 12,12
Währung umrechnenEUR 3,52 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 69,45
Gebraucht ab EUR 15,64
Mehr entdecken Softcover
-
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 8,99
Währung umrechnenEUR 8,68 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.33.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 101,04
Gebraucht ab EUR 17,67
Mehr entdecken Softcover
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Verlag: Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 14,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbBroschiert. Zustand: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 50,28
Gebraucht ab EUR 18,15
Mehr entdecken Softcover
-
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4;
Erscheinungsdatum: 1990
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 9,95
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover-Grossformat; Zustand: Gut. 149 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht berieben, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 420.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 397 | Sprache: Englisch | Produktart: Sonstiges.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 30,32
Gebraucht ab EUR 26,05
Mehr entdecken Softcover
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 204 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 31,18
Mehr entdecken Softcover
-
Formal Methods and Software Engineering : 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642412017 ISBN 13: 9783642412011
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 484 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 31,88
Mehr entdecken Softcover
-
Unifying Theories of Programming and Formal Engineering Methods : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642397204 ISBN 13: 9783642397202
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 53,49
Gebraucht ab EUR 31,88
Mehr entdecken Softcover
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 528 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 31,88
Mehr entdecken Softcover
-
Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642245587 ISBN 13: 9783642245589
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 684 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 31,88
Mehr entdecken Softcover Erstausgabe
-
Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24¿27, 2022, Proceedings
Verlag: Springer International Publishing, 2022
ISBN 10: 3031172434 ISBN 13: 9783031172434
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 460 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 32,23
Mehr entdecken Softcover
-
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6¿10, 2021, Revised Selected Papers
Verlag: Springer International Publishing, 2022
ISBN 10: 3031124286 ISBN 13: 9783031124280
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 364 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 32,23
Mehr entdecken Softcover
-
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642405606 ISBN 13: 9783642405600
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 340 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 32,23
Mehr entdecken Softcover
-
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Verlag: Springer Berlin Heidelberg, 2012
ISBN 10: 3642338259 ISBN 13: 9783642338250
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 400 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 32,23
Mehr entdecken Softcover
-
Formal Foundations for Software Engineering Methods
Verlag: Springer Berlin Heidelberg, 1997
ISBN 10: 3540636137 ISBN 13: 9783540636137
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 304 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 34,16
Mehr entdecken Softcover
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,74
Gebraucht ab EUR 35,25
Mehr entdecken Softcover
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 712 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 118,64
Gebraucht ab EUR 36,72
Mehr entdecken Softcover
-
Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26¿30, 2022, Proceedings
Verlag: Springer International Publishing, 2022
ISBN 10: 3031171071 ISBN 13: 9783031171079
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 388 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 61,55
Gebraucht ab EUR 39,64
Mehr entdecken Softcover
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,45
Währung umrechnenEUR 5,87 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 42,32
Gebraucht ab EUR 54,80
Mehr entdecken Softcover
-
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Verlag: Springer Nature Switzerland, 2023
ISBN 10: 3031471148 ISBN 13: 9783031471148
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 392 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 61,55
Gebraucht ab EUR 42,12
Mehr entdecken Softcover
-
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6¿10, 2023, Revised Selected Papers
Verlag: Springer Nature Switzerland, 2024
ISBN 10: 303166020X ISBN 13: 9783031660207
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 42,79
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the papers of two workshops which were held in conjunction with the 21st International WorkshoponSoftware Engineering and Formal Methods, SEFM 2023 Collocated Workshops, held in Eindhoven, The Netherlands, onNovember 6-10, 2023The 10 full papers presented in this book were carefully reviewed and selected from 16 submissions.SEFM 2023 Collocated Workshops presents the following two workshops:5th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA 2023)11th International Workshop on Open Community approaches to Education, Research and Technology(OpenCERT 2023).
-
Practical Formal Methods in Software Engineering
Verlag: Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Sprache: Englisch
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
EUR 32,23
Währung umrechnenEUR 12,60 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Very Good.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 61,27
Gebraucht ab EUR 44,83
Mehr entdecken Softcover
-
Formal Methods In Databases And Software Engineering: Proceedings Of The Workshop On Formal Methods In Databases And Software Engineering, Montreal, (workshops In Computing)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 46,61
Währung umrechnenKostenlos für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 46,61
Gebraucht ab EUR 105,96
Mehr entdecken Softcover
-
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16¿20, 2019, Revised Selected Papers
Verlag: Springer International Publishing, 2020
ISBN 10: 3030575055 ISBN 13: 9783030575052
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 288 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 65,94
Gebraucht ab EUR 45,75
Mehr entdecken Softcover
-
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22¿30, 2022, Proceedings, Part II
Verlag: Springer Nature Switzerland, 2022
ISBN 10: 3031197550 ISBN 13: 9783031197550
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,44
Gebraucht ab EUR 46,10
Mehr entdecken Softcover
-
From Software Engineering to Formal Methods and Tools, and Back
Verlag: Springer International Publishing, 2019
ISBN 10: 3030309843 ISBN 13: 9783030309848
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 82,46
Mehr entdecken Softcover
-
Formal Methods and Software Engineering
Verlag: Springer International Publishing, 2017
ISBN 10: 3319686895 ISBN 13: 9783319686899
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 65,34
Mehr entdecken Softcover
-
Software Engineering and Formal Methods
Verlag: Springer International Publishing, 2017
ISBN 10: 3319661965 ISBN 13: 9783319661964
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 82,14
Mehr entdecken Softcover
-
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November . (Lecture Notes in Computer Science, 14308)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 43,63
Währung umrechnenEUR 6,79 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 61,55
Gebraucht ab EUR 50,42
Mehr entdecken Softcover
