Temporal Logic in Specification Behnam Banieqbal
53,49 €
Titel: Temporal Logic in Specification, Untertitel: Altrincham, UK, April 8-10, 1987, Proceedings, Einband: Taschenbuch, Autor: Behnam Banieqbal, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 460, Maße: 235x155x25 mm, Gewicht: 692 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Mathematik Logik Philosophie / Logik Algorithm analysis and problem complexity Automatentheorie Spezifikation verteilter Systeme Temporale Logik Verteilte Systeme automata logic model checking object verification.
Jetzt bei Ebay:
