Software Engineering and Formal Methods

[book24h]

Free Download Software Engineering and Formal Methods (Lecture Notes in Computer Science) by Domenico Bianculli
English | November 12, 2025 | ISBN: 3032104432 | 298 pages | True ePUB, PDF | 37 Mb
The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.



Buy Premium From My Links To Get Resumable Support,Max Speed & Support Me

A kódrészlet megtekintéséhez be kell jelentkezned, vagy nincs jogosultságod a tartalom megtekintéséhez.

Links are Interchangeable - Single Extraction