Formal methods software engineering von roggenbach markus (12 Ergebnisse)
Sprache: Englisch
Verlag: Springer, 2022
Serie: Buch 45 von 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes KönigreichWeBuyBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 41,17
EUR 10,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
hardcover. Zustand: 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.
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 40,12
EUR 13,17 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
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 64,60
Versand 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,21
EUR 6,85 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 (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 50,96
EUR 17,43 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
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 62,76
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,07
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
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 81,07
EUR 7,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xxviii + 524.
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,83
EUR 47,83 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 98,50
EUR 14,58 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
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 BilderSprache: 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]springer[dot]com | Anbieter: preigu.…
