| Document Date: 2012-02-09 04:37:54
Open Document File Size: 194,12 KBShare Result on Facebook
City Darmstadt / / Country Germany / / Facility Software Engineering Institute / / IndustryTerm Software product quality / organization developing software / software system / software engineering / e.g. hardware / quality management / software development methods / con guration management / software quality / software house / software system components / theorem proving tool / software / software product / requirements management / software development / software systems / adequate tool / social and ecological systems / industrial software development / / Organization Software Engineering Institute / / Position author / mathematician / programmer / / Product Pyramid HP95 Headphone/Headset / / ProgrammingLanguage Fortran / / PublishedMedium Formal Aspects of Computing / / Technology operating system / DBMS / /
SocialTag |
Formal Aspects of Computing: 1{000
c 1997 BCS Limits of Formal Methods Ralf Kneuper