Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification of Coordinating Processes

Bokus

9780691606057

1 718 799 564 800.00 kr