image
Category

COMPUTERS

Abstract THIS BOOK SHOWS HOW TO APPLY MATHEMATICAL REASONING TO THE DEVELOPMENT OF COMPUTER PROGRAMS, AND EXPLAINS HOW FUNCTIONAL PROGRAMMING CAN BE USED AS A REASONING TOOL FOR INTERPRETIVE PROGRAMMING. FOCUSES ON FUNCTIONAL PROGRAMMING IN MIRANDA, PROCEDURES, SPECIFICATION, LOOP INVARIANTS, AND REAL PROGRAMMING LANGUAGES, AND COVERS LOGIC, NATURAL DEDUCTION, AND LOGIC MODELS. INCLUDES EXERCISES AND CHAPTER SUMMARIES. FOR FIRST AND SECOND YEAR UNDERGRADUATE STUDENTS.

ISBN 0130988316
Author(s) HESSAM KHOSHNEVISAN , SUSAN EISENBACH , KRYSIA BRODA , STEVE VICKERS
Credits
Edition 1ST ED.
Year 1994
Publisher PRENTICE HALL
Type BOOK
Keywords COMPUTER SCIENCE
Language English
Collation 296 P., 20 CM.

Availability and Location Reserve

Copy No Library Stack Shelf Is Reference Status Return Date
1 Limassol E 5 No A