Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java 1st Edition

Therese Hardin, Mathieu Jaume, Franc?ois Pessaux, Veronique Viguie Donzeau-Gouge

Informasi Dasar

22.21.015
005.117
Buku - Elektronik (E-Book)
2

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.

Subjek

OBJECT ORIENTED PROGRAMMING
 

Katalog

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java 1st Edition
978-1786306029
252p.: pdf file.; 8 MB
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Therese Hardin, Mathieu Jaume, Franc?ois Pessaux, Veronique Viguie Donzeau-Gouge
Perorangan
 
 

Penerbit

Wiley-ISTE
London
2021

Koleksi

Kompetensi

  • KBI1G3 - APLIKASI KOMPUTER DAN PEMROGRAMAN
  • VSI2K4 - DASAR PEMROGRAMAN PERANGKAT BERGERAK
  • CII513 - PEMBEKALAN DASAR PEMROGRAMAN
  • CII513 - PEMBEKALAN DASAR PEMROGRAMAN
  • VEI3H4 - PEMROGRAMAN APLIKASI PERMAINAN
  • VSI3E3 - PEMROGRAMAN BASIS DATA
  • CII3D4 - PEMROGRAMAN BERBASIS OBJEK
  • TTI3G2 - PEMROGRAMAN BERBASIS OBJEK (JAVA)
  • VII3B4 - PEMROGRAMAN BERBASIS SENSOR
  • VII1F4 - PEMROGRAMAN BERBASIS WEB 1
  • VII2B4 - PEMROGRAMAN BERBASIS WEB 2
  • ISI2A3 - PEMROGRAMAN BERORIENTASI OBJEK
  • CII3B4 - PEMROGRAMAN BERORIENTASI OBJEK
  • VEI2D3 - PEMROGRAMAN BERORIENTASI OBJEK
  • CPI3B4 - PEMROGRAMAN BERORIENTASI OBJEK
  • CII-3B4 - PEMROGRAMAN BERORIENTASI OBJEK
  • CII3B4 - PEMROGRAMAN BERORIENTASI OBJEK
  • TKI2D3 - PEMROGRAMAN BERORIENTASI OBYEK
  • CII3B4 - PEMROGRAMAN BERORIENTASI OBYEK
  • VII2C4 - PEMROGRAMAN BERORIENTASI OBYEK
  • TKI4K3 - PEMROGRAMAN GAME
  • DDI3F3 - PEMROGRAMAN GIM
  • CTI4V3 - PEMROGRAMAN JARINGAN
  • TKI4A3 - PEMROGRAMAN MOBILE
  • VEI2J4 - PEMROGRAMAN MULTIMEDIA INTERAKTIF
  • CRI3I3 - PEMROGRAMAN PERANGKAT BERGERAK
  • VSI3F4 - PEMROGRAMAN PERANGKAT BERGERAK LANJUT
  • VEI3C3 - PEMROGRAMAN PERANGKAT BERGERAK MULTIMEDIA
  • TEI3I3 - PEMROGRAMAN PERANGKAT IOT
  • CTI3B3 - PEMROGRAMAN PERANGKAT KERAS
  • TTI2F2 - PEMROGRAMAN PYTHON
  • VEI3D3 - PEMROGRAMAN SIMULATOR
  • VII2E4 - PEMROGRAMAN UNTUK PERANGKAT BERGERAK 1
  • VII3A4 - PEMROGRAMAN UNTUK PERANGKAT BERGERAK 2
  • CTI3C3 - PEMROGRAMAN WEB
  • VKI2C2 - PEMROGRAMAN WEB
  • VSI2D4 - PEMROGRAMAN WEB
  • VAI2A3 - PEMROGRAMAN WEB
  • VAI2H3 - PEMROGRAMAN WEB BERBASIS FRAMEWORK
  • VEI2E3 - PEMROGRAMAN WEB INTERAKTIF 1
  • VEI2K3 - PEMROGRAMAN WEB INTERAKTIF 2
  • CII7G3 - PEMROSESAN BAHASA ALAMI LANJUT
  • CII7G3 - PEMROSESAN BAHASA ALAMI LANJUT
  • CII4F3 - PEMROSESAN CITRA DIGITAL
  • CPI4F3 - PEMROSESAN CITRA DIGITAL
  • CII7K3 - PEMROSESAN SPEECH
  • CII7K3 - PEMROSESAN SPEECH
  • CII7J3 - PEMROSESAN VOICE
  • CII7J3 - PEMROSESAN VOICE
  • CII1A3 - PENGENALAN PEMROGRAMAN
  • CII1A3 - PENGENALAN PEMROGRAMAN
  • CII1A3 - PENGENALAN PEMROGRAMAN
  • CPI1A3 - PENGENALAN PEMROGRAMAN
  • CII-1A3 - PENGENALAN PEMROGRAMAN
  • CII1A3 - PENGENALAN PEMROGRAMAN
  • CRI3B3 - PERANCANGAN DAN PEMROGRAMAN WEB
  • CII7H3 - TOPIK KHUSUS DALAM PEMROSESAN CITRA
  • CII7H3 - TOPIK KHUSUS DALAM PEMROSESAN CITRA
  • DPI2A5 - DESAIN PRODUK I (SEMIOTIKA VISUAL DAN SEMANTIKA PRODUK)
  • CII7B3 - LOGIKA & PENALARAN DALAM WEB SEMANTIK
  • CII7B3 - LOGIKA & PENALARAN DALAM WEB SEMANTIK
  • CII6E3 - WEB SEMANTIK
  • CII6E3 - WEB SEMANTIK
  • CII1F4 - ALGORITMA PEMROGRAMAN
  • CII4O3 - ANALISIS JEJARING SOSIAL
  • CII2C2 - ANALISIS KOMPLEKSITAS ALGORITMA
  • CII4J3 - ANALISIS PERFORMANSI JARINGAN KOMPUTER
  • CII4N3 - DESAIN INTERAKSI
  • CII4R3 - FORENSIK DIGITAL
  • CII3F1 - INFORMATIKA UNTUK MASYARAKAT
  • CII3A3 - INTERAKSI MANUSIA KOMPUTER
  • CII3O3 - IOT DENGAN KEMAMPUAN CERDAS
  • CII2J4 - JARINGAN KOMPUTER
  • CII3E3 - KEAMANAN SIBER
  • CII4B3 - KERJA PRAKTIK
  • CII4P3 - KOMPUTASI BERKINERJA TINGGI
  • CII3G3 - MANAJEMEN PROYEK TIK
  • CII2D3 - MATRIKS DAN RUANG VEKTOR
  • CII4M3 - METODE NUMERIK UNTUK INFORMATIKA
  • CII2A3 - ORGANISASI DAN ARSITEKTUR KOMPUTER
  • CII3C3 - PEMBELAJARAN MESIN
  • CII3L3 - PEMBELAJARAN MESIN LANJUT
  • CII1J3 - PEMODELAN BASIS DATA
  • CII3P3 - PEMODELAN DAN SIMULASI
  • CII4I3 - PENAMBANGAN DATA
  • CII1E3 - PENDIDIKAN KARAKTER
  • CII2M3 - PENGANTAR KECERDASAN BUATAN
  • CII4A2 - PENULISAN PROPOSAL
  • CII3H4 - PROYEK INFORMATIKA
  • CII3M3 - REPRESENTASI PENGETAHUAN
  • CII2E2 - RPL: ANALISIS KEBUTUHAN
  • CII3J4 - RPL: DESAIN DAN IMPLEMENTASI
  • CII2F3 - SISTEM BASIS DATA
  • CII1I3 - SISTEM DIGITAL
  • CII4K3 - SISTEM KEAMANAN CERDAS
  • CII3N3 - SISTEM MULTI AGEN
  • CII2H3 - SISTEM OPERASI
  • CII3D4 - SISTEM PARALEL DAN TERDISTRIBUSI
  • CII4H3 - SISTEM PEMBERI REKOMENDASI
  • CII3K2 - SOSIO-INFORMATIK DAN KEPROFESIAN
  • CII1C2 - STATISTIKA
  • CII2K3 - STRATEGI ALGORITMA
  • CII2B4 - STRUKTUR DATA
  • CII4C3 - TATA TULIS ILMIAH
  • CII2G3 - TEORI PELUANG
  • CII4E4 - TUGAS AKHIR
  • CII4S3 - VERIFIKASI DAN VALIDASI PERANGKAT LUNAK
  • CII4Q3 - VISI KOMPUTER
  • CII4L3 - VISUALISASI DATA
  • CII2I2 - WAWASAN GLOBAL TIK
  • UII4A3 - WRAP INTERNSHIP 1 - KETERAMPILAN KOMUNIKASI
  • UII4B3 - WRAP INTERNSHIP 1 - KINERJA DALAM TIM
  • UII4C3 - WRAP INTERNSHIP 1 - PROYEK INDUSTRI
  • UII4D3 - WRAP INTERNSHIP 2 - KETERAMPILAN KOMUNIKASI
  • UII4E3 - WRAP INTERNSHIP 2 - KINERJA DALAM TIM
  • UII4F3 - WRAP INTERNSHIP 2 - PROYEK AKHIR INDUSTRI
  • TTI2F2 - PEMROGRAMAN PYTHON
  • ISI2A3 - Pemrograman Berorientasi Objek**
  • CTJ3B3 - Pemrograman Perangkat Keras
  • CII9G6 - PROPOSAL PENELITIAN

Download / Flippingbook

 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini