 |
|
|
|
|
 Object-Oriented and Classical Software Engineering
Almost every computer science and computer engineering curriculum now includes a
required team-based software development project. In some cases, the project is only one
semester or quarter in length, but a year-long team-based software development project is
fast becoming the norm.
In an ideal world, every student would... |  |  AutoCAD 2010 Instructor (McGraw-Hill Graphics)
Welcome to AutoCAD 2010 Instructor. Here are some features you will find in this book to help you
learn AutoCAD 2010.
Each chapter opens with a list of new
concepts you can expect to learn.
Having objectives in mind helps you
focus on the important ideas as you
move through each chapter.
Step-by-step practice... |  |  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... |
|
| Result Page: 262 261 260 259 258 257 256 255 254 253 252 251 250 249 248 247 246 245 244 |