Formal methods software engineering von roggenbach markus (33 Ergebnisse)
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 37,93
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,40
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 49,50
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 50,29
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 36,39
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 39,26
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,24
EUR 13,96 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,63
EUR 2,30 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 46,23
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 63,89
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,16
EUR 6,84 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 50,54
EUR 17,49 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 67,84
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 64,93
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,02
EUR 14,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. 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)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 64,44
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Antonio Cerone, Bernd-Holger Schlingloff, Markus Roggenbach, Gerardo Schneider, Siraj Ahmed Shaikh
Sprache: Englisch
Verlag: Springer 2023-07-07, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,48
EUR 18,06 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: New.
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 78,45
EUR 3,48 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. xxviii + 524.
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 76,41
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xxviii + 524.
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 76,14
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xxviii + 524.
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: California Books, Miami, FL, USACalifornia Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 97,01
Versand nach gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,78
EUR 47,79 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: NEW.
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 97,87
EUR 14,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
- Weitere Bilder
Formal Methods for Software Engineering
Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
Sprache: Englisch
Verlag: Springer International Publishing, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 67,49
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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.
- Weitere Bilder
Sprache: Englisch
Verlag: Springer, Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 64,19
EUR 64,16 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
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 met…hods 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.
- Weitere Bilder
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
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]s…pringer[dot]com | Anbieter: preigu.
- Weitere Bilder
Sprache: Englisch
Verlag: Springer, Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 85,59
EUR 64,96 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 de…velops 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
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2023
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Softcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 69,10
Versand nach gratisVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: Brand New. New. Delivery takes 20-25 days. Print on Demand.
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: Brook Bookstore On Demand, Napoli, NA, ItalienBrook Bookstore On Demand
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 70,24
EUR 8,00 VersandVersand von Italien nach USAAnzahl: Mehr als 20 verfügbar
Zustand: new. Questo è un articolo print on demand.
Formal Methods for Software Engineering
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Print-on-Demand
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,48
Versand nach gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. Delivery takes 20-25 days. Print on Demand.
