Вы здесь

IFIP WG 10.5, Summer School on Formal Methods for VLSI Design, Lecture Notes

Связанные издания: