Refinement: Semantics, Languages and Applications by John Derrick (English) Hard
71,46 €
Automata - introducing simulations. - Perspicuity, Divergence, and Internal Operations. - State-based Languages: Z and B.- State-based Languages: Event-B and ASM. Subtitle Semantics, Languages and Applications.
Jetzt bei Ebay:
