Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Ein kompakter Handlungsleitfaden für Studierende und Praktiker, der die theoretische Basis formaler Methoden vermittelt, ihre mathematischen Prinzipi ...