Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers /

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022. The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The...

Deskribapen osoa

Xehetasun bibliografikoak

Erakunde egilea:	SpringerLink (Online service)
Beste egile batzuk:	Lal, Akash (Argitaratzailea), Tonetta, Stefano (Argitaratzailea)
Formatua:	Baliabide elektronikoa eBook
Hizkuntza:	ingelesa
Argitaratua:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edizioa:	1st ed. 2023.
Saila:	Lecture Notes in Computer Science, 13800
Gaiak:	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.
Sarrera elektronikoa:	https://doi.org/10.1007/978-3-031-25803-9
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!