AN INTRODUCTION TO PROGRAMMING WITH SPECIFICATIONS
ebook

AN INTRODUCTION TO PROGRAMMING WITH SPECIFICATIONS (ebook)

AUTHOR, UNKNOWN

$928.00
IVA incluido
Editorial:
ACADEMIC PRESS
Materia
ECONOMIA Y FINANZAS
ISBN:
9780080984469
Páginas:
267
Formato:
PDF
Idioma:
Inglés
DRM
Si

A feature of modern advanced computing is the functional approach to programming. In this book, the authors present an introduction to the mathematics which underline functional programming, emphasizing the understanding of definition and specification--a prerequisite of good programming and problem solving with a computer. The book is self-contained, requiring a low level of mathematical sophistication and may be used as an introduction to the mathematics of programming.

Provides an introduction to the functional approach to programming**Emphasizes the problem to be solved, not the programming language**Takes the view that all computer programs are a definition of a function**Includes exercises for each chapter**Can be used as a pre-programming language introduction to the mathematics of computing.

Otros libros del autor

  • ADVANCES IN APPLIED MECHANICS VOLUME 10
    AUTHOR, UNKNOWN
    ADVANCES IN APPLIED MECHANICS VOLUME 10 ...

    $928.00

  • DIFFERENTIATION OF EMBRYONIC STEM CELLS
    AUTHOR, UNKNOWN
    This volume covers all aspects of embryonic stem cell differentiation, including mouse embryonic stem cells, mouse embryonic germ cells, monkey and human embryonic stem cells, and gene discovery.* Early commitment steps and generation of chimeric mice* Differentiation to mesoderm derivatives* Gene discovery by manipulation of mouse embryonic stem cells ...

    $2,543.00

  • VIRAL GENE TECHNIQUES: VIRAL GENE TECHNIQUES
    AUTHOR, UNKNOWN
    Viral Gene Techniques is a practical laboratory guide to current techniques of molecular biology and genetics. The volume is concerned with methods for the analysis of viral genes and chromosomes: DNA viruses and RNA viruses including HIV are discussed.* Methods presented for ease of use and reasdy adaptation to new systems* Detailed experimental protocols included for:* Viral ...

    $928.00

  • INTERNATIONAL REVIEW OF CYTOLOGY V162A
    AUTHOR, UNKNOWN
    INTERNATIONAL REVIEW OF CYTOLOGY V162A ...

    $2,950.00

  • LIVER REGENERATION AND CARCINOGENESIS: MOLECULAR AND CELLULAR MECHANISMS
    AUTHOR, UNKNOWN
    Because of its marked capacity to regenerate and the ability of chemical carcinogens and viruses to ready transform hepatocytes, the liver has been used extensively as a model for investigating the molecular mechanisms of cellular proliferation and carcinogenesis. Recently, striking advances have occured in the understanding of hepatocyte growth regulation and the manner in whi...

    $928.00

  • MICROBIAL GENE TECHNIQUES: MOLECULAR MICROBIOLOGY TECHNIQUES PART B
    AUTHOR, UNKNOWN
    Microbial Gene Techniques is a practical laboratory guide to current techniques of molecular biology and genetics. The focus of the volume is on microbial cells, particularly eukaryotic microbes and bacteria, as well as plasmids and bacteriophages.* * Methods presented for ease of use and ready adaptation to new systems.* Detailed protocols included for:* Eukaryotic microbes - ...

    $928.00