2009-12-10から1日間の記事一覧
Code: Getting it Right A new OS has been proven to be correct using mathematical proofs. The cost: astronomical. By Jack Ganssle Embedded.com (10/26/09, 02:28:00 HŒ EDT)http://www.embedded.com/columns/breakpoint/220900551
Code: Getting it Right A new OS has been proven to be correct using mathematical proofs. The cost: astronomical. By Jack Ganssle Embedded.com (10/26/09, 02:28:00 HŒ EDT)http://www.embedded.com/columns/breakpoint/220900551