Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers /

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling,...

Szczegółowa specyfikacja

Opis bibliograficzny

Korporacja:	SpringerLink (Online service)
Kolejni autorzy:	Reynolds, Andrew (Redaktor), Tasiran, Serdar (Redaktor)
Format:	Elektroniczne E-book
Język:	angielski
Wydane:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Wydanie:	1st ed. 2024.
Seria:	Lecture Notes in Computer Science, 14095
Hasła przedmiotowe:	Computer science. Computers. Software engineering. Computer systems. Computers, Special purpose. Logic programming. Computer Science Logic and Foundations of Programming. Computer Hardware. Software Engineering. Computer System Implementation. Special Purpose and Application-Based Systems. Logic in AI.
Dostęp online:	https://doi.org/10.1007/978-3-031-66064-1
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!