Bücher nach ISBN
>
Springer
> Behnam Banieqbal
Behnam Banieqbal
B. B.
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings
978-3-54O-518O3-7
(3-54O-518O3-7)
2008
Howard Barringer · Amir Pnueli
Behnam Bohluli DMD