Formal Methods in Computer ScienceJiacun Wang, William TepfenhartInnbundetEngelskDel av serien Textbooks in MathematicsLegg i handlekurvNettlager
Formal Methods in Computer ScienceJiacun Wang, William TepfenhartPocketEngelskDel av serien Textbooks in MathematicsLegg i handlekurvNettlager