Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 52,18
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Kennys Bookstore, Olney, MD, U.S.A.
EUR 61,15
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 58,86
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 70,85
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Best Price, Torrance, CA, U.S.A.
EUR 65,62
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
EUR 69,50
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloCondizione: new.
Da: California Books, Miami, FL, U.S.A.
EUR 79,84
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 79,86
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Best Price, Torrance, CA, U.S.A.
EUR 74,31
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
EUR 83,34
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 1416, 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 82,29
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Springer International Publishing AG, Cham, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Prima edizione
EUR 85,51
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: 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.
Editore: Springer International Publishing AG, Cham, 2023
ISBN 10: 3031352564 ISBN 13: 9783031352560
Lingua: Inglese
Da: Grand Eagle Retail, Mason, OH, U.S.A.
Prima edizione
EUR 92,54
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 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; and AI for formal methods. This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 46, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. verification and testing for AI systems; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 78,54
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer International Publishing AG, 2022
ISBN 10: 3031103629 ISBN 13: 9783031103629
Lingua: Inglese
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 87,67
Convertire valutaQuantità: 5 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 92,36
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Best Price, Torrance, CA, U.S.A.
EUR 87,34
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
EUR 93,49
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 90,83
Convertire valutaQuantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 87,63
Convertire valutaQuantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 105,41
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 105,87
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 109,26
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New.
Da: Books Puddle, New York, NY, U.S.A.
EUR 114,89
Convertire valutaQuantità: 4 disponibili
Aggiungi al carrelloCondizione: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 123,48
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Lingua: Inglese
Da: CitiRetail, Stevenage, Regno Unito
EUR 83,95
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 1416, 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 115,54
Convertire valutaQuantità: 15 disponibili
Aggiungi al carrelloCondizione: New. 2023. 2023 ed. paperback. . . . . .
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
EUR 98,48
Convertire valutaQuantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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 1416, 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. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Lingua: Inglese
Da: Revaluation Books, Exeter, Regno Unito
EUR 106,56
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 413 pages. 9.26x6.11x9.21 inches. In Stock.
Editore: Springer Nature Switzerland, Springer Nature Switzerland, 2025
ISBN 10: 303198207X ISBN 13: 9783031982071
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 70,61
Convertire valutaQuantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.