Cargando…
An introduction to programming with specifications : a mathematical approach /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
London ; San Diego :
Academic Press,
�1991.
|
| Colección: | A.P.I.C. studies in data processing ;
no. 35. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn551371965 | ||
| 003 | OCoLC | ||
| 005 | 20231117032856.0 | ||
| 006 | m o d | ||
| 007 | cr bn||||||abp | ||
| 007 | cr bn||||||ada | ||
| 008 | 100311s1991 enka ob 001 0 eng d | ||
| 040 | |a OCLCE |b eng |e pn |c OCLCE |d OCLCQ |d OPELS |d E7B |d OCLCQ |d OCLCF |d UIU |d OCLCQ |d OCLCO |d LEAUB |d OCLCQ |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 646160700 |a 974615781 |a 974668721 |a 988560402 |a 1153942001 | ||
| 020 | |z 0124276202 | ||
| 020 | |z 9780124276208 | ||
| 035 | |a (OCoLC)551371965 |z (OCoLC)646160700 |z (OCoLC)974615781 |z (OCoLC)974668721 |z (OCoLC)988560402 |z (OCoLC)1153942001 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.6 |b .K82 1991 | |
| 082 | 0 | 4 | |a 005.1/2 |2 20 |
| 084 | |a *68-01 |2 msc | ||
| 084 | |a 68N01 |2 msc | ||
| 084 | |a 68Q60 |2 msc | ||
| 084 | |a ST 230 |2 rvk | ||
| 084 | |a DAT 335f |2 stub | ||
| 100 | 1 | |a Kubiak, Ryszard. | |
| 245 | 1 | 3 | |a An introduction to programming with specifications : |b a mathematical approach / |c Ryszard Kubiak, Roman Rudzi�nski, Stefan Soko�owski. |
| 260 | |a London ; |a San Diego : |b Academic Press, |c �1991. | ||
| 300 | |a 1 online resource (ix, 267 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a The A.P.I.C. series ; |v no. 35 | |
| 504 | |a Includes bibliographical references and index. | ||
| 506 | |3 Use copy |f Restrictions unspecified |5 MiAaHDL |2 star | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |5 MiAaHDL |2 pda | |
| 520 | |a 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. | ||
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Computer programming. | |
| 650 | 0 | |a Programming (Mathematics) | |
| 650 | 6 | |a Programmation (Informatique) |0 (CaQQLa)201-0002014 | |
| 650 | 6 | |a Programmation (Math�ematiques) |0 (CaQQLa)201-0001238 | |
| 650 | 7 | |a computer programming. |2 aat |0 (CStmoGRI)aat300054641 | |
| 650 | 7 | |a Computer programming |2 fast |0 (OCoLC)fst00872390 | |
| 650 | 7 | |a Programming (Mathematics) |2 fast |0 (OCoLC)fst01078701 | |
| 650 | 7 | |a Softwarespezifikation |2 gnd |0 (DE-588)4056186-0 | |
| 650 | 7 | |a Programmation (math�ematiques) |2 ram | |
| 650 | 7 | |a Ordinateurs |x Programmation. |2 ram | |
| 650 | 7 | |a Logique symbolique et math�ematique. |2 ram | |
| 653 | |a Programming | ||
| 700 | 1 | |a Rudzi�nski, Roman. | |
| 700 | 1 | |a Soko�owski, S. |q (Stefan) | |
| 776 | 0 | 8 | |i Print version: |a Kubiak, Ryszard. |t Introduction to programming with specifications. |d London ; San Diego : Academic Press, �1991 |w (DLC) 91183915 |w (OCoLC)30320457 |
| 830 | 0 | |a A.P.I.C. studies in data processing ; |v no. 35. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780124276208 |z Texto completo |