Formal Methods in Computer Science by Jiacun Wang (English) Paperback Book
124,73 €
By Jiacun Wang, William Tepfenhart. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking.
Jetzt bei Ebay:
![Produktbild - Mothering Rhetorics by Lynn O'Brien Hallstein [Paperback]](https://i.ebayimg.com/thumbs/images/g/PtUAAeSwJ7hnwWQX/s-l140.jpg)
