Andere Kunden interessierten sich auch für
![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification30,99 €![Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification]( "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification")
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification48,99 €![Formal Methods and Software Engineering]( "Formal Methods and Software Engineering")
Formal Methods and Software Engineering37,99 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Formal Techniques for Distributed Objects, Components, and Systems]( "Formal Techniques for Distributed Objects, Components, and Systems")
Formal Techniques for Distributed Objects, Components, and Systems52,99 €![Formal Methods: Foundations and Applications]( "Formal Methods: Foundations and Applications")
Formal Methods: Foundations and Applications41,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods48,99 €
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.