Books listed by ISBN > Springer > Bachir Berkane

Bachir Berkane

B. B.

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method978-O-7923-83O1-7
(O-7923-83O1-X)		1998Eduard Cerny · Pierre Girodias · Karim Khordoc

Bachir Bserani