Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
<p>This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.</p><p>The 20 revised full papers presented together with 2 invited talks and 2 tutorials w...
में बचाया:
| निगमित लेखक: | |
|---|---|
| अन्य लेखक: | , , |
| स्वरूप: | ई-पुस्तक |
| भाषा: | English |
| प्रकाशित: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2012.
|
| श्रृंखला: | Lecture Notes in Computer Science,
7152 |
| विषय: | |
| ऑनलाइन पहुंच: | Click here to view the full text content |
| टैग : |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
रखरखाव के तहत प्रणाली
हमारा लाइब्रेरी मैनेजमेंट सिस्टम अभी रखरखाव के अधीन है
वर्तमान में होल्डिंग्स और आइटम उपलब्धता की जानकारी उपलब्ध नहीं है। कृपया इससे होने वाली किसी भी असुविधा के लिए हमारी क्षमा याचना स्वीकार करें और आगे की सहायता के लिए हमसे संपर्क करें