NASA Formal Methods
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
Szerző:
Alwyn Goodloe, Suzette Person
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
20 042
Ft
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal...
