Image from Google Jackets

Theoretical Aspects of Software Engineering [electronic resource] : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.

Contributor(s): Material type: TextTextSeries: Lecture Notes in Computer Science ; 13299Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Edition: 1st ed. 2022Description: XV, 426 p. 192 illus., 90 illus. in color. online resourceISBN:
  • 9783031103636
Subject(s): DDC classification:
  • 005.1 23
Online resources:
Contents:
Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode Item holds
E-Books E-Books National Library of India Online Resource 005.1 (Browse shelf(Opens below)) Available EBK000035779ENG
Total holds: 0

Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. 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. 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.

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India