Author: United States. Congress. Senate. Committee on Appropriations. Subcommittee on Dept. of DefensePublisher:
ISBN:
Category :
Languages : en
Pages : 572
Book Description
MX programs
Author: United States. Congress. Senate. Committee on Appropriations. Subcommittee on Dept. of DefensePublisher:
ISBN:
Category :
Languages : en
Pages : 572
Book Description
Strategic Force Modernization Programs
Author: United States. Congress. Senate. Committee on Armed Services. Subcommittee on Strategic and Theater Nuclear ForcesPublisher:
ISBN:
Category : Bombers
Languages : en
Pages : 702
Book Description
Strategic programs
Author: United States. Congress. House. Committee on Armed ServicesPublisher:
ISBN:
Category : United States
Languages : en
Pages : 288
Book Description
Strategic programs
Author: United States. Congress. House. Committee on Appropriations. Subcommittee on Military Construction AppropriationsPublisher:
ISBN:
Category : United States
Languages : en
Pages : 740
Book Description
Tactical aircraft programs
Author: United States. Congress. Senate. Committee on Armed ServicesPublisher:
ISBN:
Category : United States
Languages : en
Pages : 864
Book Description
Securities laws enforcement and defense contractors
Author: United States. Congress. House. Committee on Energy and Commerce. Subcommittee on Oversight and InvestigationsPublisher:
ISBN:
Category : Defense contracts
Languages : en
Pages : 242
Book Description
Specification and Transformation of Programs
Author: Helmut A. PartschPublisher: Springer Science & Business Media
ISBN: 3642615120
Category : Computers
Languages : en
Pages : 508
Book Description
"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. The approach considers programming as a formal activity. Consequently, it requires some mathematical maturity and, above all, the will to try something new. A somewhat experienced programmer or a third- or fourth-year student in computer science should be able to master most of this material - at least, this is the level I have aimed at. This book is primarily intended as a general introductory textbook on transformational methodology. As with any methodology, reading and understanding is necessary but not sufficient. Therefore, most of the chapters contain a set of exercises for practising as homework. Solutions to these exercises exist and can, in principle, be obtained at nominal cost from the author upon request on appropriate letterhead. In addition, the book also can be seen as a comprehensive account of the particular transformational methodology developed within the Munich CIP project.
PC Mag
Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 118
Book Description
PCMag.com is a leading authority on technology, delivering Labs-based, independent reviews of the latest products and services. Our expert industry analysis and practical solutions help you make better buying decisions and get more from technology.
Let's Go Mexico 22nd Edition
Author: Let's Go Inc.Publisher: Macmillan
ISBN: 9780312374525
Category : Travel
Languages : en
Pages : 752
Book Description
Offering a comprehensive guide to economical travel in diverse regions of the world, these innovative new versions of the popular handbooks feature an all-new look, sidebars highlighting essential tips and facts, information on a wide range of itineraries, transportation options, off-the-beaten-path adventures, expanded lodging and dining options in every price range, additional nightlife options, enhanced cultural coverage, shopping tips, maps, 3-D topographical maps, regional culinary specialties, cost-cutting tips, and other essentials.
U.S.- Mexico Border XXI Program
Author: Publisher:
ISBN:
Category : Environmental protection
Languages : en
Pages : 258
Book Description