หน้าแรก>การเขียนโปรแกรมที่เกี่ยวข้อง>ซอร์สโค้ด C#
ดาวน์โหลด

เครื่องมือซอฟต์แวร์ที่ผ่านการตรวจสอบแล้ว

ด้วยผลงานจาก

Andrew W. Appel, Lennart Beringer, Robert Dockins, Josiah Dodds, Aquinas Hobor, Jean-Marie Madiot, Gordon Stewart, Qinxiang Cao, Qinshi Wang และอื่น ๆ

ไฟล์ใบอนุญาตมีข้อมูลเกี่ยวกับลิขสิทธิ์การออกใบอนุญาตและสิทธิ์

วิธีการติดตั้ง:

ดูคำแนะนำที่นี่

เอกสาร:

หน้าเว็บของเราอธิบายเป้าหมายของโครงการและมีลิงค์ไปยังสิ่งพิมพ์ที่เกี่ยวข้องมากมาย

สำหรับการแนะนำวิธีการใช้ C ที่ตรวจสอบได้อ่านคู่มือหรือปรึกษาซอฟต์แวร์ฐานรากเล่มที่ 5: C ที่ตรวจสอบได้สำหรับการสอนด้วยแบบฝึกหัด

โปรแกรม Logics สำหรับคอมไพเลอร์ที่ผ่านการรับรองโดย Andrew W. Appel et al., สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, 2014 มีให้ในปกแข็ง

ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด