Computer-Aided Reasoning

    Computer-Aided Reasoning

    - Acl2 Case Studies (2000)

    Af
    Bog E-bog
    • Format
    • Bog, hardback
    • Engelsk
    • 648 sider

    Beskrivelse

    Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.

    Læs hele beskrivelsen
    Detaljer
    • SprogEngelsk
    • Sidetal648
    • Udgivelsesdato30-06-2000
    • ISBN139780792378808
    • Forlag Springer
    • Nummer i serien4
    • FormatHardback
    • Udgave0

    Findes i disse kategorier...

    Se andre, der handler om...

    Computer Aided Design (CAD) Computer programming / software engineering Expert systems / knowledge-based systems Information technology: general issues

    Velkommen til Saxo – din danske boghandel

    Hos os kan du handle som gæst, Saxo-bruger eller Saxo-medlem – du bestemmer selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om medlemspriser hos Saxo

    For at købe bøger til medlemspris skal du være medlem af Saxo Premium, Saxo Shopping eller Saxo Ung. De første 7 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO080