Fundamental Approaches to Software Engineering: 22nd International Conference, F
75,24 €
FASE Invited Talk. - Software Verification. - Tool Support for Correctness-by-Construction. - SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language. - A Hybrid Dynamic Logic for Event/Data-based Systems.
Jetzt bei Ebay:
