NASA Formal Methods

What kind of book is this?

Most of this catalogue arrived without a category. If you know what this one is, it takes a second and it helps everyone who looks for it next.

Report a broken link