Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Behnam Banieqbal
Themen in »Temporal Logic in Specification«
Automatentheorie Spezifikation verteilter Systeme Temporale Logik Verteilte Systeme automata logic model checking object verification algorithm analysis and problem complexity
Stimmen zu »Temporal Logic in Specification«
Details
ISBN: 9783540518037
Verlag: Springer Berlin
Erscheinung: 11.10.1989