 Dines Bjorner Software Engineering textbooks
started 11/9/2003; 3:32:15 PM - last post 11/9/2003; 3:32:15 PM
|
|
Isaac Gouy - Dines Bjorner Software Engineering textbooks 
11/9/2003; 3:32:15 PM (reads: 119, responses: 0)
|
|
|
A series of downloadable textbooks that tell the formal methods
"story" from the broader software engineering viewpoint.
Chapters from several volumes deal with issues related to programming languages.
|
|
|
|