Theoretical aspects of software engineering :: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings /: Yamine Aït-Ameur, Florin Crăciun (eds.).

Aït-Ameur, Yamine,; Craciun, Florin,

doi:10.1007/978-3-031-10363-6

Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / Yamine Aït-Ameur, Florin Crăciun (eds.).

International Symposium on Theoretical Aspects of Software Engineering (16th : 2022 : Cluj-Napoca, Romania); Aït-Ameur, Yamine, editor.; Craciun, Florin, editor.

2022

QA76.758

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Theoretical aspects of software engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / Yamine Aït-Ameur, Florin Crăciun (eds.).

Meeting Name

International Symposium on Theoretical Aspects of Software Engineering (16th : 2022 : Cluj-Napoca, Romania)

ISBN

9783031103636 (electronic bk.)
3031103637 (electronic bk.)
9783031103629 (print)

DOI

https://doi.org/10.1007/978-3-031-10363-6

Published

Cham, Switzerland : Springer, 2022.

Language

English

Description

1 online resource (xv, 426 pages) : illustrations (some color).

Item Number

10.1007/978-3-031-10363-6 doi

Call Number

QA76.758

Dewey Decimal Classification

005.1

Summary

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.

Note

Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed July 6, 2022).

Added Author

Aït-Ameur, Yamine, editor.
Craciun, Florin, editor.

Series

Lecture notes in computer science ; 13299.

Linked Resources

Online Access