Andrew K. Martin

Springer, Berlin

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings978-3-540-23738-9
(3-540-23738-0)
2004Alan J. Hu

A. K · A. M. · A. Martin · Andrew Martin · K.M. · K. Martin

Andrew K. McCormick