Schlingloff bernd holger (63 risultati)

Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS

Brossura

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger/ Schneider, Gerardo/ Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 62,47

EUR 9,95 spedizione

Spedito da Germania a 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)

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

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 60,70

EUR 14,74 spedizione

Spedito 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 1st ed. 2022

Lingua: Inglese

Editore: Springer, 2023

Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 59,82

EUR 17,68 spedizione

Spedito 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)

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

Venditore con 5 stelle

Antonio Cerone, Bernd-Holger Schlingloff, Markus Roggenbach, Gerardo Schneider, Siraj Ahmed Shaikh

Condizione: Nuovo

EUR 77,80

Spedizione gratuita

Spedito in 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)

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

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 60,16

EUR 18,26 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibile

Paperback. Condizione: New.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

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

Venditore con 5 stelle

Schlingloff, Bernd-Holger:

Condizione: Nuovo

EUR 80,33

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Zum temporalen Logik von Bäumen

Editore: München : Technische Universität, 1990

Brossura

Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt

Venditore con 5 stelle

Condizione: Usato

EUR 7,50

EUR 42,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello

Softcover. 189 S. Guter Zustand. Die Leseseiten sind sauber und ohne Markierungen. Leichte Lager- und Gebrauchsspuren. Ansonsten gutes Exemplar. Sprache: Deutsch Gewicht in Gramm: 1000.

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Condizione: Nuovo

EUR 80,87

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science, 13550)

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: California Books, Miami, FL, U.S.A.California Books

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 83,29

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods For Software Engineering 1st ed. 2022

Lingua: Inglese

Editore: Springer, 2023

Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS

Brossura

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Schlingloff, Bernd-Holger

Condizione: Usato - Come nuovo

EUR 67,52

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Lingua: Inglese

Editore: Springer 2022-09, 2022

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 70,76

EUR 18,26 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 90,39

EUR 2,35 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings (Lecture Notes in Computer Science, 13550)

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 81,64

EUR 13,31 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In English.

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Usato - Come nuovo

EUR 94,36

EUR 2,35 spedizione

Spedito 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)

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

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 98,85

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Formal Methods for Software Engineering : Languages, Methods, Application Domains

Lingua: Inglese

Editore: Springer, 2022

Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS

Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle

Condizione: Nuovo

EUR 88,50

EUR 17,68 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-Holger Schlingloff

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH

Venditore con 5 stelle

Condizione: Nuovo

EUR 74,67

EUR 35,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022.The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.…

Software Engineering and Formal Methods

Lingua: Inglese

Editore: Springer, Berlin|Springer International Publishing|Springer, 2022

Brossura

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,55

EUR 48,99 spedizione

Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26?30, 2022, Proceedings (Lecture Notes in Computer Science)

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle

Venditore con 4 stelle

Roggenbach, Markus/ Cerone, Antonio/ Schlingloff, Bernd-Holger/ Schneider, Gerardo/ Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 110,53

EUR 3,55 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

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

Venditore con 5 stelle

Schlingloff, Bernd-Holger (Editor) / Chai, Ming (Editor)

Condizione: Nuovo

EUR 99,04

EUR 14,74 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 2 disponibili

Paperback. Condizione: Brand New. 552 pages. 9.25x6.10x1.30 inches. In Stock.

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 2630, 2022, Proceedings: 13550 (Lecture Notes in Computer Science, 13550)

Lingua: Inglese

Editore: Springer, 2022

Brossura

Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books

Venditore con 5 stelle

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

Condizione: Nuovo

EUR 103,23

EUR 14,74 spedizione

Spedito 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

Lingua: Inglese

Editore: Springer, 2022

Serie: Libro 45 di 45 - Texts in Theoretical Computer Science. An EATCS

Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK

Venditore con 5 stelle