Montant total (1 article articles) :
Destination de la commande :
theoretical aspects software engineering (50 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (50)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (47)
- Comme neuf, Très bon ou Bon (2)
- Assez bon ou satisfaisant (Aucun autre résultat ne correspond à ces critères)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Reliure
- Toutes
- Couverture rigide (Aucun autre résultat ne correspond à ces critères)
- Couverture souple (50)
Particularités
- Ed. originale (2)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (19)
- Sans impressions à la demande (26)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,95
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 74,95
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theoretical Aspects of Software Engineering (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 3 sur 5 étoiles
EUR 74,24
Expédition à EUR 8
Expédition depuis Italie vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : new.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 84,36
Expédition à EUR 2,24
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theoretical Aspects of Software Engineering (Paperback)
Langue: anglais
Edité par Springer International Publishing AG, Cham, 2022
ISBN 10 : 3031103629 ISBN 13 : 9783031103629
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 86,90
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 73,09
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 78,12
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Theoretical Aspects of Software Engineering (eng)
Vendeur : Brook Bookstore, Milano, MI, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 69,50
Expédition à EUR 27,99
Expédition depuis Italie vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : new.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 86,31
Expédition à EUR 17,32
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 90,21
Expédition à EUR 13,84
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 88,16
Expédition à EUR 17,89
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPF. Etat : New.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4?6, 2023, Proceedings: 13931
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 110,78
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14?16, 2025, Proceedings (Lecture Notes in Computer Science, 15841)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 112,70
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
-
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8?10, 2022, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 128,30
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
-
Theoretical Aspects of Software Engineering: 17th International Symposium, Tase 2023, Bristol, Uk, July 4-6, 2023, Proceedings
Langue: anglais
Edité par Springer-Nature New York Inc, 2023
ISBN 10 : 3031352564 ISBN 13 : 9783031352560
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 118,09
Expédition à EUR 14,44
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 376 pages. 9.25x6.10x0.78 inches. In Stock.
-
Theoretical Aspects of Software Engineering: 19th International Symposium, Tase 2025, Limassol, Cyprus, July 14 16, 2025, Proceedings
Langue: anglais
Edité par Springer-Nature New York Inc, 2025
ISBN 10 : 303198207X ISBN 13 : 9783031982071
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 118,70
Expédition à EUR 14,44
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 413 pages. 9.26x6.11x9.21 inches. In Stock.
-
Theoretical Aspects of Software Engineering : 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,24
Expédition à EUR 63,14
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
EUR 72,75
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
EUR 72,75
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4¿6, 2023, Proceedings
Langue: anglais
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031352564 ISBN 13 : 9783031352560
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,24
Expédition à EUR 62,85
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Theoretical Aspects of Software Engineering : 18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
Langue: anglais
Edité par Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10 : 3031646258 ISBN 13 : 9783031646256
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 85,59
Expédition à EUR 63,70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
EUR 81,70
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8¿10, 2022, Proceedings
Langue: anglais
Edité par Springer International Publishing, 2022
ISBN 10 : 3031103629 ISBN 13 : 9783031103629
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 90,94
Expédition à EUR 63,34
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : 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.
-
Theoretical Aspects of Software Engineering: 18th International Symposium, Tase 2024, Guiyang, China, July 29 ? August 1, 2024, Proceedings
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 160,92
Expédition à EUR 3,39
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. 2024th edition NO-PA16APR2015-KAP.
-
Theoretical Aspects of Software Engineering (Paperback)
Langue: anglais
Edité par Springer International Publishing AG, Cham, 2022
ISBN 10 : 3031103629 ISBN 13 : 9783031103629
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 139,69
Expédition à EUR 31,41
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
-
EUR 73,22
Expédition à EUR 105
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Theoretical Aspects of Software Engineering (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 66,23
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
-
Theoretical Aspects of Software Engineering (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
EUR 94,25
Expédition à EUR 6,80
Expédition depuis Italie vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : new. Questo è un articolo print on demand.
-
Theoretical Aspects of Software Engineering: 16th International Symposium, Tase 2022, Cluj-napoca, Romania, July 8-10, 2022, Proceedings
Langue: anglais
Edité par Springer-Nature New York Inc, 2022
ISBN 10 : 3031103629 ISBN 13 : 9783031103629
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 89,21
Expédition à EUR 14,44
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. 441 pages. 9.25x6.10x0.90 inches. In Stock. This item is printed on demand.
-
Theoretical Aspects of Software Engineering
Langue: anglais
Edité par Springer, Springer Jul 2025, 2025
ISBN 10 : 303198207X ISBN 13 : 9783031982071
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 80,24
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 416 pp. Englisch.
