Lecture Notes in Computer Science17141- Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems€ 40,591 aanbod · bij 1 winkel