First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2011-05-25 14:41:06Open Document File Size: 1,86 MBShare Result on FacebookCompanyJohn Wiley & Sons Inc. / /FacilityUniversity of Essex / /IndustryTermappropriate tools / —software / software complexity / computing systems / computing / verification algorithm / /OrganizationUniversity of Essex / /PersonRobin Milner / Amnon H. Eden / /ProgrammingLanguageAda / CLOS / Simula / C / Object Pascal / Java / C++ / Smalltalk / /Technologyverification algorithm / design verification / object-oriented programming / java / pdf / /URLhttp /SocialTag |