Computer Aided Verification
Szerző:
Isil Dillig, Serdar Tasiran
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 274
Ft
This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31s...