Search Results - Formal Methods Applied to Complex Systems: Implementation of the B Method

Suggested Topics within your search.
  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Handbook of Floating-Point Arithmetic by Muller, Jean-Michel

    ISBN: 9783319765266
    Published: Cham : Springer International Publishing, 2018.

    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: