Online Library TheLib.net » Author books / Книги автора Nicola Bombieri Franco Fummi (auth.) Marco Bernardo Alessandro Cimatti (eds.)
book Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
pdf
00
27.01.2024
0
0
Read online