| Judul | Concepts and Semantics of Programming Languages 2 : Modular and Object-Oriented Constructs with OCaml, Python, C++, Ada and Java / Therese Hardin; Mathieu Jaume; Francois Pessaux; Veronique Viguie Donzeau-Gouge |
| Pengarang | Hardin, Therese Jaume, Mathieu Pessaux, Francois Donzeau-Gouge, Veronique Viguie |
| Penerbitan | New Jersey : John Wiley & Sons, Inc., 2021 |
| Deskripsi Fisik | 265 p. |
| ISBN | 9781119851172 |
| Subjek | PROGRAMMING LANGUAGES |
| Catatan | This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. |
| Bentuk Karya | Tidak ada kode yang sesuai |
| Target Pembaca | Tidak ada kode yang sesuai |
| Lokasi Akses Online |
https://www.proquest.com/docview/2563191742/bookReader?accountid=31533 |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| 005022192 | 005.13 Con | Baca Online | Perpustakaan Pusat - Online Resources Ebook |
Tersedia |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000158589 | ||
| 005 | 20250305022624 | ||
| 007 | ta | ||
| 008 | 250305################|##########|#|## | ||
| 020 | # | # | $a 9781119851172 |
| 035 | # | # | $a 0010-0325000208 |
| 082 | # | # | $a 005.13 |
| 084 | # | # | $a 005.13 Con |
| 100 | 1 | # | $a Hardin, Therese |
| 245 | 1 | # | $a Concepts and Semantics of Programming Languages 2 : Modular and Object-Oriented Constructs with OCaml, Python, C++, Ada and Java /$c Therese Hardin; Mathieu Jaume; Francois Pessaux; Veronique Viguie Donzeau-Gouge |
| 260 | # | # | $a New Jersey :$b John Wiley & Sons, Inc.,$c 2021 |
| 300 | # | # | $a 265 p. |
| 505 | # | # | $a This book - composed of two volumes - explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding. Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes. This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification. |
| 650 | # | # | $a PROGRAMMING LANGUAGES |
| 700 | 1 | # | $a Donzeau-Gouge, Veronique Viguie |
| 700 | 1 | # | $a Jaume, Mathieu |
| 700 | 1 | # | $a Pessaux, Francois |
| 856 | # | # | $a https://www.proquest.com/docview/2563191742/bookReader?accountid=31533 |
| 990 | # | # | $a 005022192 |
Content Unduh katalog
Karya Terkait :