Theoretical Aspects of Software Engineering (Paperback)

Cristina David

ISBN 10: 3031352564 ISBN 13: 9783031352560

Editore: Springer International Publishing AG, Cham, 2023

Nuovi Paperback

Da Grand Eagle Retail, Bensenville, IL, U.S.A. Valutazione del venditore 5 su 5 stelle

Venditore AbeBooks dal 12 ottobre 2005

Questo articolo specifico non � pi� disponibile.

Visualizza gli articoli del venditore Crea un desiderata per articoli simili

Mostra tutte le copie di questo libro

Riguardo questo articolo

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. Codice articolo 9783031352560

Segnala questo articolo

Riassunto:

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; and AI for formal methods.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Theoretical Aspects of Software Engineering ...
Casa editrice: Springer International Publishing AG, Cham
Data di pubblicazione: 2023
Legatura: Paperback
Condizione: new
Edizione: prima edizione

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Theoretical Aspects of Software Engineering

Editore: Springer, Berlin|Springer Nature Switzerland|Springer, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Kartoniert / Broschiert

Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 4 su 5 stelle

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Codice articolo 873621279

Contatta il venditore

Compra nuovo

EUR 70,33

Spese di spedizione: EUR 48,99

Da: Germania a: U.S.A.

Quantit�: Pi� di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Altre immagini

Theoretical Aspects of Software Engineering | 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

Meng Sun (u. a.)

Editore: Springer Nature Switzerland, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Taschenbuch

Da: preigu, Osnabr�ck, Germania

Valutazione del venditore 5 su 5 stelle

Contatta il venditore

Compra nuovo

EUR 73,05

Spese di spedizione: EUR 70,00

Da: Germania a: U.S.A.

Quantit�: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings (Lecture Notes in Computer Science)

Editore: Springer, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle

Condizione: New. In. Codice articolo ria9783031352560_new

Contatta il venditore

Compra nuovo

EUR 75,31

Spese di spedizione: EUR 13,66

Da: Regno Unito a: U.S.A.

Quantit�: Pi� di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theoretical Aspects of Software Engineering

Meng Sun

Editore: Springer Nature Switzerland, Springer International Publishing Jun 2023, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Taschenbuch

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch. Codice articolo 9783031352560

Contatta il venditore

Compra nuovo

EUR 80,24

Spese di spedizione: EUR 60,00

Da: Germania a: U.S.A.

Quantit�: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theoretical Aspects of Software Engineering : 17th International Symposium, TASE 2023, Bristol, UK, July 4�6, 2023, Proceedings

Meng Sun

Editore: Springer Nature Switzerland, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: 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. Codice articolo 9783031352560

Contatta il venditore

Compra nuovo

EUR 80,24

Spese di spedizione: EUR 62,85

Da: Germania a: U.S.A.

Quantit�: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Theoretical Aspects of Software Engineering

Meng Sun

Editore: Springer Nature Switzerland Jun 2023, 2023

ISBN 10: 3031352564 ISBN 13: 9783031352560

Nuovo Taschenbuch

Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 376 pp. Englisch. Codice articolo 9783031352560

Contatta il venditore