Formal Analysis - An Introduction
Xiao-Xiong GanΚατηγορίες:
Έτος:
2021
Έκδοση:
1
Εκδότης:
De Gruyter
Γλώσσα:
english
Σελίδες:
326
ISBN 10:
3110598604
ISBN 13:
9783110598605
Σειρές:
De Gruyter Studies in Mathematics 80
Αρχείο:
PDF, 3.62 MB
IPFS:
,
english, 2021