Core Spring Data
Written by: Oliver Gierke
Featured Refcardz: Top Refcardz:
  1. Git
  2. Prep for CD
  3. DNS
  4. Data Mining
  5. Spring Data
  1. Data Mining
  2. Spring Data
  3. DNS
  4. Machine Learning
  5. MongoDB
150+ Refcardz Available · Get them all

Link Details

Previous | Next

Surprise Me!

Link 923565 thumbnail
User 756145 avatar

By mheusser
via cio.com
Published: Feb 13 2013 / 18:05

Prove Software Correct? We're getting closer to it
Proving Software Correct has been the hobgoblin of software development since the days of punched cards. This article explains the latest ideas - and attempts - to at least get closer.
Vote up
Vote down
  • 10
  • 0
  • 224
  • 574
SaveShareSend Tags: , , ,

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (10)



Voters Against This Link (0)