Pierre Girodias

1 book

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method by Eduard Cerny, Pierre Girodias, Bachir Berkane

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

Eduard Cerny, Pierre Girodias, Bachir Berkane

211 pages • paperback

nonfiction computer science science informative medium-paced