Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 54,48
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 74,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 74,24
Cantidad disponible: 5 disponibles
Añadir al carritoCondición: new.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 84,75
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Original o primera edición
EUR 87,65
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 73,09
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 78,90
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 69,50
Cantidad disponible: 5 disponibles
Añadir al carritoCondición: new.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 86,56
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 91,11
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 88,38
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 104,96
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 113,19
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 128,89
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Librería: Revaluation Books, Exeter, Reino Unido
EUR 120,08
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Librería: Revaluation Books, Exeter, Reino Unido
EUR 120,71
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 413 pages. 9.26x6.11x9.21 inches. In Stock.
Librería: preigu, Osnabrück, Alemania
EUR 72,75
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theoretical Aspects of Software Engineering | 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings | Philipp Rümmer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2025 | Springer | EAN 9783031982071 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 72,75
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theoretical Aspects of Software Engineering | 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings | Cristina David (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2023 | Springer | EAN 9783031352560 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer Nature Switzerland, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 80,24
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4-6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions.They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; andAI for formal methods.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 80,24
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14 16, 2025.The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.The papers present the latest developments in formal and theoretical software engineering methods and techniques.They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.
Librería: preigu, Osnabrück, Alemania
EUR 77,25
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theoretical Aspects of Software Engineering | 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings | Wei-Ngan Chin (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2024 | Springer | EAN 9783031646256 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031646258 ISBN 13: 9783031646256
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 85,59
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29-August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presentednew results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.
Librería: preigu, Osnabrück, Alemania
EUR 81,70
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Theoretical Aspects of Software Engineering | 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings | Yamine Aït-Ameur (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2022 | Springer | EAN 9783031103629 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer International Publishing, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 90,94
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 161,62
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. 2024th edition NO-PA16APR2015-KAP.
Idioma: Inglés
Publicado por Springer International Publishing AG, Cham, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Librería: AussieBookSeller, Truganina, VIC, Australia
Original o primera edición
EUR 139,73
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Paperback. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques. This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Librería: Buchpark, Trebbin, Alemania
EUR 73,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Hervorragend. Zustand: Hervorragend | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 66,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 94,25
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer-Nature New York Inc, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Librería: Revaluation Books, Exeter, Reino Unido
EUR 89,43
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 441 pages. 9.25x6.10x0.90 inches. In Stock. This item is printed on demand.