Gesamtpreis (1 Artikel Artikel):
Versandziel:
formal methods software engineering von roggenbach markus (32 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (32)
- 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 (28)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- 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)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (7)
- Keine Print-on-Demand Angebote (28)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Formal Methods For Software Engineering 1st ed. 2022
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,19
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods For Software Engineering 1st ed. 2022
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Formal Methods For Software Engineering 1st ed. 2022
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 36,18
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods For Software Engineering 1st ed. 2022
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 39,08
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,97
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,96
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
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.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,81
EUR 6,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 50,25
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
-
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 63,72
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,67
EUR 14,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Zustand: New. pp. xxviii + 524.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 59,14
EUR 17,95 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 72,73
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xxviii + 524.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. xxviii + 524.
-
FORMAL METHODS FOR SOFTWARE ENGINEERING
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Speedyhen, Hertfordshire, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 53,47
EUR 47,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: NEW.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 96,45
EUR 14,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
-
Internationale AusgabeFORMAL METHODS FOR SOFTWARE ENGINEERING
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,91
EUR 4,62 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer International Publishing, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
Zustand: New. Book suitable for graduate and undergraduate courses in Software EngineeringExplains foundations, introduces specification, verification, and testing methodsAuthors are all highly experienced educators and researchersAntonio C.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.Topics and features: Explains foundations, and introduces specification, verification, and testing methods Exploresvarious application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, includingfurther material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book.The URL is:https://sefm-book.github.io.
-
Taschenbuch. Zustand: Neu. Formal Methods for Software Engineering | Languages, Methods, Application Domains | Markus Roggenbach (u. a.) | Taschenbuch | xxviii | Englisch | 2023 | Springer | EAN 9783030388027 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.Topics and features: Explains foundations, and introduces specification, verification, and testing methods Exploresvarious application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, includingfurther material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book.The URL is:https://sefm-book.github.io.
-
Formal Methods for Software Engineering (eng)
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 3 von 5 Sternen
EUR 70,24
EUR 8,00 Versand
Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer, Springer Jun 2023, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point.The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. The second part offers specification and testing methods for formal development of software, based on the modelling languages CASL and UML. The third part takes the reader into the application domains of normative documents, human machine interfaces, and security. Use of notations and formalisms is uniform throughout the book.Topics and features: Explains foundations, and introduces specification, verification, and testing methods Exploresvarious application domains Presents realistic and practical examples, illustrating concepts Brings together contributions from highly experienced educators and researchers Offers modelling and analysis methods for formal development of software Suitable for graduate and undergraduate courses in software engineering, this uniquely practical textbook will also be of value to students in informatics, as well as to scientists and practical engineers, who want to learn about or work more effectively with formal theories and methods.Markus Roggenbachis a Professor in the Dept. of Computer Science of Swansea University.Antonio Ceroneis an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.Bernd-Holger Schlingloffis a Professor in the Institut für Informatik of Humboldt-Universität zu Berlin.Gerardo Schneideris a Professor in the Dept. of Computer Science and Engineering of University of Gothenburg.Siraj Ahmed Shaikhis a Professor in the Institute for Future Transport and Cities of Coventry University.The companion site for the book offers additional resources, includingfurther material for selected chapters, prepared lab classes, a list of errata, slides and teaching material, and virtual machines with preinstalled tools and resources for hands-on experience with examples from the book.The URL is:https://sefm-book.github.io 556 pp. Englisch.
