Search for Author All Reviews
	Garoche, Pierre     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       Formal verification of control system software Garoche P., PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2019. 224 pp.  Type: Book (978-0-691181-30-1) This outstanding work manages to deal with key topics, many of which are highly advanced, while also being encyclopedic (in a good sense) within a mere 200 pages. In spite of its advanced nature, all levels of reader will be informed o...... May 10 2021
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy