Schlingloff bernd holger (59 risultati)
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
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,70
EUR 13,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,97
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 66,72
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 51,70
EUR 17,68 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 66,81
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: 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
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 63,48
EUR 7,69 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,33
EUR 11,09 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 62,44
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: New.
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,94
EUR 14,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: 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
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,16
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,05
EUR 17,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer 2023-07-07, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,40
EUR 18,33 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback. Condizione: New.
Editore: München : Technische Universität, 1990
- Brossura
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 7,50
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Aggiungi al carrelloSoftcover. 189 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ansonsten gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 1000.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 80,02
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,24
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 83,68
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods For Software Engineering 1st ed. 2022
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 67,78
EUR 17,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 71,04
EUR 18,33 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 90,80
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 81,96
EUR 13,36 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 94,79
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: 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
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,31
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 88,29
EUR 17,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer, 2022
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,55
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Springer, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,87
EUR 14,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 111,04
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,08
EUR 14,79 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 386 pages. 9.25x6.10x0.91 inches. In Stock.
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
Lingua: Inglese
Editore: Springer, 2022
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 102,02
EUR 17,75 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Formal Methods for Software Engineering
Markus Roggenbach|Antonio Cerone|Bernd-Holger Schlingloff|Gerardo Schneider|Siraj Ahmed Shaikh
Lingua: Inglese
Editore: Springer International Publishing, 2023
Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 67,49
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Condizione: 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.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,90
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Software Engineering and Formal Methods | 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings | Bernd-Holger Schlingloff (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2022 | Springer | EAN 9783031171079 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
