Software Engineering 2: Specification of Systems and Languages by Dines Bj?rner
105,15 €
(By Dines Bjørner. Author Dines Bjørner. The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus.
Jetzt bei Ebay:
