Sökt på: Böcker av R. J. Wieringa
totalt 4 träffar
Design Methods for Reactive Systems
Design Methods for Reactive Systems describes methods and techniques for the design of software systems-particularly reactive software systems that engage in stimulus-response …
Information Systems-correctness And Reusability - Selected Papers Form The Is-core Workshop
This volume contains papers on formal system specification. The chapters treat algebraic specification, temporal logic specification, default specifications and deontic logic …
Vitamin A and Carotenoids
Vitamin A has an important role to play in vision, bone growth, reproduction, cell division, and cell differentiation. With the focus on Vitamin A and Carotenoids, this book …
Design Methods for Reactive Systems
Design Methods for Reactive Systems describes methods and techniques for the design of software systems—particularly reactive software systems that engage in stimulus-response …