- Main
- Computers - Computer Science
- 程序设计语言的形式语义
程序设计语言的形式语义
Glynn WinskelΠόσο σας άρεσε αυτό το βιβλίο;
Ποια είναι η ποιότητα του ληφθέντος αρχείου;
Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του
Ποια είναι η ποιότητα των ληφθέντων αρχείων;
书签已装载,
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。
本书是以作者在剑桥大学和Aarhus大学的讲义为基础编写的,是一本难得的形式语义学方面的经典著作。书中为初学程序设计语言的语义与逻辑的读者提供了必需的数学知识,介绍了支撑程序设计语言形式语义的数学理论、方法和概念,这些知识可以用于创造、形式化和证明规则,从而可以描述和推导各类程序设计语言的各种成分和性质。 本书内容十分丰富,涉及了集合论、指称语义、操作语义、公理语义、归纳原理、完备性、域论、信息系统、不确定性和并行性、不完备性和不可判定性等内容。同时,每章都包含了丰富的难度不等的练习。 本书适合作为高等院校计算机专业高年级本科生和研究生形式语义课程的教材,也可作为软件开发人员的参考书。
Κατηγορίες:
Έτος:
2004
Εκδότης:
中信出版社 机械工业出版社
Γλώσσα:
chinese
Σελίδες:
283
ISBN 10:
7111131533
ISBN 13:
9787111131533
Σειρές:
计算机科学丛书
Αρχείο:
PDF, 13.83 MB
Οι ετικέτες (tags) σας:
IPFS:
CID , CID Blake2b
chinese, 2004
Διαβάστε online
- Κατεβάστε
- pdf 13.83 MB Current page
- Checking other formats...
- Μετατροπή σε
- Ξεμπλοκάρετε τη μετατροπή αρχείων μεγαλύτερων από 8 MB Premium
Θέλετε να προσθέσετε βιβλιοπωλείο; Επικοινωνήστε μαζί μας στο support@z-lib.do
Το αρχείο θα παραδοθεί στο email σας εντός 1-5 λεπτών.
Το αρχείο θα παραδοθεί στον λογαριασμό σας στο Telegram εντός 1-5 λεπτών.
Προσοχή: Βεβαιωθείτε ότι έχετε συνδέσει τον λογαριασμό σας με το Z-Library Telegram bot.
Μέσα σε 1-5 λεπτά το αρχείο θα παραδοθεί στη συσκευή σας Kindle.
Παρακαλώ σημειώστε: Πρέπει να επαληθεύετε κάθε βιβλίο που στέλνετε στο Kindle σας. Ελέγξτε εάν στα εισερχόμενα μηνύματα στη διεύθυνση του ηλεκτρονικού ταχυδρομείου σας υπάρχει το μήνυμα επαλήθευσης από το Amazon Kindle Support.
Η μετατροπή σε βρίσκεται σε εξέλιξη
Η μετατροπή σε απέτυχε
Πλεονεκτήματα της premium συνδρομής
- Αποστολή σε e-readers
- Αυξημένο όριο λήψης
- Μετατροπή αρχείων
- Περισσότερα αποτελέσματα αναζήτησης
- Λοιπά πλεονεκτήματα