BA
Catalog
English
العربية
Français
x
Sort By
Title
Author
Call Number
Publication Year Oldest first
Publication Year Newestfirst
Morphology
Exact
Advanced Search
Toggle navigation
Heading Search
Theses Search
Maps Search
Tutorials
Discover@BA
Cart
Login
Staff Interface
Refine Your Search
Additional Terms
Publication Year
c2006. (1)
Place of Publication
Burlington, MA : (1)
Location
Item class
Book List
Results:
1
Keywords :
Schoppa, R. Keith, 1943-
X
Filters:
Newnes,
X
Drusinsky, Doron.
X
Modeling and verification using UML statecharts [electronic resource] : a working guide to reactive system design, runtime monitoring, and execution-based model checking / Doron Drusinsky.
Call Number
:
005.117
Author
:
Drusinsky, Doron.
publisher
:
Newnes,
Publication Year
:
c2006.
Place of Publication
:
Burlington, MA :
No Items available.
Add To Cart
The Record Is InYour Cart
X
1