Gesamtpreis (1 Artikel Artikel):
Versandziel:
maurice ter beek (35 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (35)
- 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 (34)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (35)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (20)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Architecting Dependable Systems Vi
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Architecting Dependable Systems VI
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 46,84
EUR 7,51 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 348 Illus.
-
Integrated Formal Methods
Sprache: Englisch
Verlag: Springer International Publishing AG, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Integrated Formal Methods
Sprache: Englisch
Verlag: Springer International Publishing AG, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 67,49
EUR 5,80 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,42
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 160 pages. 9.25x6.10x0.37 inches. In Stock.
-
Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 23, 2020, Proceedings
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2020
ISBN 10: 3030582973 ISBN 13: 9783030582975
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 78,41
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 312 pages. 9.25x6.10x0.71 inches. In Stock.
-
Architecting Dependable Systems VI
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3642102476 ISBN 13: 9783642102479
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,56
EUR 14,44 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 333 pages. 9.25x6.00x0.75 inches. In Stock.
-
From Software Engineering to Formal Methods and Tools, and Back
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3030309843 ISBN 13: 9783030309848
EUR 48,37
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Formal Methods - The Next 30 Years : Thi
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Formal Methods: Foundations and Applications: 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 35, 2025, Proceedings (Lecture Notes in Computer Science, 16363)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,90
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 261 pages. 6.14x0.55x9.21 inches. In Stock.
-
Formal Methods: The Next 30 Years; Third World Congress, Fm 2019, Porto, Portugal, October 7-11, 2019, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 303030941X ISBN 13: 9783030309411
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 85,88
EUR 17,33 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 820 pages. 9.25x6.10x1.65 inches. In Stock.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 6th International Conference, RSSRail . (Lecture Notes in Computer Science, 16236)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 92,28
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 345 pages. 6.14x0.73x9.21 inches. In Stock.
-
Critical Systems - Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Criti
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 77,57
EUR 28,88 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 264 pages. 9.30x6.20x0.60 inches. In Stock.
-
INTEGRATED FORMAL METHODS : 17TH INTERNA
Anbieter: Speedyhen, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,81
EUR 47,36 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
Web Services and Formal Methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642382290 ISBN 13: 9783642382291
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
-
Formal Methods for Industrial Critical Systems
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Aug 2020, 2020
ISBN 10: 3030582973 ISBN 13: 9783030582975
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking.The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
-
Formal Methods - The Next 30 Years
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Sep 2019, 2019
ISBN 10: 303030941X ISBN 13: 9783030309411
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 796 pp. Englisch.
-
Critical Systems: Formal Methods and Automated Verification
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Sep 2016, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
From Software Engineering to Formal Methods and Tools, and Back
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Sep 2019, 2019
ISBN 10: 3030309843 ISBN 13: 9783030309848
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This volume was published in honor of Stefania Gnesi¿s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, PortugalThe Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 588 pp. Englisch.
-
Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319459422 ISBN 13: 9783319459424
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Joint 21st International Workshopon Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed andselected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
-
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2¿3, 2020, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2020
ISBN 10: 3030582973 ISBN 13: 9783030582975
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the COVID-19 pandemic it changed to a virtual event.The 11 full papers presented in this volume were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections as follows: Quantitative Analysis and Cyber-Physical Systems, Formal Verification of Industrial Systems, Temporal Logic and Model Checking. The book also contains a lengthy report on a Formal Methods Survey conducted on occasion of the 25th edition of the conference.
-
Architecting Dependable Systems VI
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2009
ISBN 10: 3642102476 ISBN 13: 9783642102479
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - As software systems become increasingly ubiquitous, issues of dependability become ever more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability and security are addressed at the architectural level. This book has originated from an effort to bring together the research communities of software architectures, dependability and security.This state-of-the-art survey contains expanded and peer-reviewed papers based on the carefully selected contributions to two workshops: the Workshop on Architecting Dependable Systems (WADS 2008), organized at the 2008 International Conference on Dependable Systems and Networks (DSN 2008), held in Anchorage, Alaska, USA, in June 2008, and the Third International Workshop on Views On Designing Complex Architectures (VODCA 2008) held in Bertinoro, Italy, in August 2008. It also contains invited papers written by recognized experts in the area. The 13 papers are organized in topical sections on dependable service-oriented architectures, fault-tolerance and system evaluation, and architecting security.
-
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030309843 ISBN 13: 9783030309848
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.
-
Formal Methods ¿ The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7¿11, 2019, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 303030941X ISBN 13: 9783030309411
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.The 44 full papers presented together with 3 invited presentations werecarefully reviewed and selected from 129 submissions. The papers are organized in topical sections named: Invited Presentations; Verification; Synthesis Techniques; Concurrency; Model Checking Circus; Model Checking; Analysis Techniques; Specification Languages; Reasoning Techniques; Modelling Languages; Learning-Based Techniques and Applications; Refactoring and Reprogramming; I-Day Presentations.
-
EUR 70,23
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 71,69
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.
-
Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3 5, 2025.The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
-
Integrated Formal Methods
Sprache: Englisch
Verlag: Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Zustand: New. This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short papers were carefully reviewed and selected from 4.
-
Integrated Formal Methods
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing Jun 2022, 2022
ISBN 10: 3031077261 ISBN 13: 9783031077265
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch.
