Formal Methods for Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006

Name: Formal Methods for Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006
ISBN: 9783540824114

Marco Bernardo (편집자) , Alessandro Cimatti

아직 평점이 없습니다