|
|
|
|
|
|
Compiler Specification and Verification (Lecture Notes in Computer Science)
About four years ago David Luckham hinted to me the possibility of verifying
a "real" compiler. At that time the idea seemed unrealistic, even absurd. After
looking closer at the problem and getting more familiar with the possibilities of
the Stanford verifier a verified compiler appeared not so impossible after all. In... | | International Economics: Theory and Policy (International Edition)At the start of the twenty-first century, international aspects of economics remain as important and controversial as ever. In the last decade alone, major currency and Financial crises have rocked industrializing countries from East Asia to Latin America; countries in Europe have given up their national currencies in favor of a common currency,... | | SharePoint 2007 Developer's Guide to Business Data CatalogThe data locked in your organization's systems and databases is a precious -- and sometimes untapped -- resource. The SharePoint Business Data Catalog makes it easy to gather, analyze, and report on data from multiple sources, through SharePoint. Using standard web parts, an efficient management console, and a simple programming model, you can... |
|
|
|
Result Page: 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 |