Concise Guide to Formal Methods Gerard O'Regan
Titel: Concise Guide to Formal Methods, Untertitel: Theory, Fundamentals and Industry Applications, Einband: Taschenbuch, Autor: Gerard O'Regan, Verlag: Springer-Verlag Gmbh, Sprache: Englisch, Seiten: 322, Maße: 235x155x18 mm, Gewicht: 598 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Mathematik / Informatik, Computer Computer / PC-Hardware EDV / Theorie / Programmieren / Allgemeines Mathematik Modell Computer / PC-Hardware / Aufrüsten, Reparieren, Selbstbau EDV / Theorie / Informatik / Allgemeines Mathematik / Logik MATHEMATICS / Logic Software verification Automata theory Computational logic Requirements analysis Software reliability Specification Model checking Theorem proving Technology transfer.
Jetzt bei Ebay:
