Pay in 4 interest-free payments of $14.00 Learn more
Ships within 48 hours · Estimated delivery Nov 10 - Nov 15
Author/Contributor(s): Sante
humans and the universe
Date: 12/01/1997
the girls suspect the killer is the neighbor's son
and with little institutional support
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach business books 2021 Author/Contributor(s): SanteAuthor Contributor(s): Kurshan, Robert P Publisher: Princeton University Press Date: 07 14 2014 Binding: Paperback Condition: NEW Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support
US$ 39.00
US$ 34.00
US$ 39.00
