| Document Date: 2009-09-07 06:47:44
Open Document File Size: 221,12 KBShare Result on Facebook
City Eindhoven / Bologna / Mumbai / / Company Donnelly / Thomson / Russell / Microsoft / / Country Jordan / / / Facility Tata Institute of Fundamental Research / / IndustryTerm software engineering / printing characters / certified software / insertion algorithm / logical systems / erroneous law / adaptive software methodologies / technology available today / conventional type systems / software development / / Organization Univ. of Bologna / School of Tech / National Aeronautics and Space Administration / Tata Institute of Fundamental Research / Radboud Univ. / / Person Herman Geuvers / Grace Hopper / G.H. Hardy / Tristan / Allen / Paul Halmos / Andrea Asperti / Leslie Lamport / Cremer / Samuel Langley / Howard Correspondence Mathematics / Raja Natarajan / Leroy / Samuel Pierpont Langley / Thomas Hales / Curry-Howard Correspondence Mathematics / / / PoliticalEvent general election / / Position laboratory technician / editor / Constable / important driver / professor of astronomy / computer assistant / mathematician / Harper / programmer / famous mathematician / / Technology good algorithm / operating system / operating systems / insertion algorithm / / URL http /
SocialTag |
Under consideration for publication in Math. Struct. in Comp. Science Social Processes, Program Verification and All That A N D R E A A S P E R T I,1 H E R M A N G E U V E R S2 and R A J A N A T A R A J A N3 1