Representation Theorems in Computer Science: A Treatment in Logic Engineering by
123,08 €
Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior.
Jetzt bei Ebay:
