Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
Luís Caires
,
Christel Baier
Details
OL Work ID
OL20855113W
Subjects
Software engineering
Find this book
Open Library