Bücher nach ISBN
>
Birkhäuser
> Julian Ch. Bradfield
Julian Ch. Bradfield
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Verifying Temporal Properties of Systems
978-3-7643-3625-7
(3-7643-3625-O)
1991
C B
·
J.B.
·
J C
·
J.C. Bradfield
·
Julian B
·
Julian Bradfield
Julian Challis