प्रकार और प्रोग्रामिंग भाषाओं में उन्नत विषय
A

प्रकार और प्रोग्रामिंग भाषाओं में उन्नत विषय

असेम्बलर
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
लेखक
Benjamin C. Pierce (editor)
प्रकाशक
The MIT Press
वर्ष
2005
भाषा
अंग्रेज़ी
108
इस पुस्तक को रेट करें

पुस्तक पढ़ने के लिए, लॉग इन करें / पंजीकरण करें

अंश का पूर्वावलोकन

समान पुस्तकें

उन्नत डेटा संरचनाएं और एल्गोरिदम

उन्नत डेटा संरचनाएं और एल्गोरिदम

Abirami A, Priya R L

C++ प्रोग्रामिंग भाषा

C++ प्रोग्रामिंग भाषा

Bjarne Stroustrup

कंप्यूटर सिस्टम: एक प्रोग्रामर का परिप्रेक्ष्य, तीसरा वैश्विक संस्करण

कंप्यूटर सिस्टम: एक प्रोग्रामर का परिप्रेक्ष्य, तीसरा वैश्विक संस्करण

Randal E. Bryant, David R. O'Hallaron

C++ प्रोग्रामिंग भाषा, चौथा संस्करण

C++ प्रोग्रामिंग भाषा, चौथा संस्करण

Bjarne Stroustrup

प्रोग्रामिंग भाषाएँ: अवधारणाएँ और कार्यान्वयन

प्रोग्रामिंग भाषाएँ: अवधारणाएँ और कार्यान्वयन

Saverio Perugini

प्रभावी सी, दूसरा संस्करण: पेशेवर सी प्रोग्रामिंग का परिचय

प्रभावी सी, दूसरा संस्करण: पेशेवर सी प्रोग्रामिंग का परिचय

Robert C. Seacord

C++ में प्रोग्रामिंग के लिए एक संपूर्ण गाइड

C++ में प्रोग्रामिंग के लिए एक संपूर्ण गाइड

Ulla Kirch-Prinz, Peter Prinz

C# प्रोग्रामिंग: वैल्यू टाइप्स और रेफरेंस टाइप्स

C# प्रोग्रामिंग: वैल्यू टाइप्स और रेफरेंस टाइप्स

मार्क जे. प्राइस

सी प्रोग्रामिंग भाषा, दूसरा संस्करण

सी प्रोग्रामिंग भाषा, दूसरा संस्करण

ब्रायन डब्ल्यू. कर्निघन, डेनिस एम. रिची

उन्नत पर्ल प्रोग्रामिंग

उन्नत पर्ल प्रोग्रामिंग

Simon Cozens