Domain Modeling and the Duration Calculus
International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Chris George
Themen in »Domain Modeling and the Duration Calculus«
abstraction applicative modeling decidabillity development tools domain engineering formal method formal methods language description model checking modeling real-time real-time systems semantics software engineering statistical m
Stimmen zu »Domain Modeling and the Duration Calculus«
Details
ISBN: 9783540749639
Verlag: Springer Berlin
Erscheinung: 28.08.2007