01232nam 2200373 450 99000121127020331620031021181709.0000121127USA01000121127(ALEPH)000121127USA0100012112720031021d1982----km-y0itay0103----baengUK||||||||001yyFormal specification and software development[By]Dines Bjorner and Cliff B. JonesIn collaboration with Derek Andrews [et al...]Englewood CliffsPrentice-Hall Internationalcopyr. 1982X, 501 pill23 cmPrentice-Hall International series in computer sciencePrentice-Hall International series in computer science2001001-------2001001.642BJRNER,Dines556239JONES,Cliff B.26769ITsalbcISBD990001211270203316001.6 SCS (3)19985 Ing001.6BKTECSIAV21020031021USA011817PATRY9020040406USA011727Formal specification and software development984336UNISA01716nam 2200445 450 991070357700332120150129124757.0(CKB)5470000002431928(OCoLC)900977602(EXLCZ)99547000000243192820150129j197910 ua 0engurbn|||||||||rdacontentrdamediardacarrierEvaluation of a gunnery simulator's visual display and several strategies for leading moving targets /Brian L. Kottas and David W. BessemerAlexandria, Virginia :U.S. Army Research Institute for the Behavioral and Social Sciences,October 1979.1 online resource (ix, 52 pages) illustrationsTechnical report ;427Title from title screen (viewed Jan. 14, 2015)."ARI Field Unit at Fort Knox, Kentucky.""October 1979.""Army project number 2Q762722A777."Includes bibliographical references (pages 39-41).Tank gunneryTanks (Military science)ArmamentTank crewsPerformanceTank gunnery.Tanks (Military science)Armament.Tank crewsPerformance.Kottas Brian L.1417068Bessemer David W.U.S. Army Research Institute for the Behavioral and Social Sciences.ARI Field Unit at Fort Knox,GPOGPOBOOK9910703577003321Evaluation of a gunnery simulator's visual display and several strategies for leading moving targets3524288UNINA