NASA Formal Methods
8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
eBook
R403.05 ZAR
-
Study Tools
Built-in study tools like highlights and more
-
Read Aloud
Listen and follow along as Bookshelf reads to you
-
Offline Access
Access your eTextbook anytime and anywhere
-
Global Search
Search across book content, figures, and your workbook