Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Informasi Dasar

Dilihat

35 kali

No. Katalog

24.21.1833

Klasifikasi

005.8

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

Tel-U Gedung Manterawu Lantai 5 : Rak 4
Tel-U Purwokerto : Rak 2

Abstraksi

Subjek

Subjek utama

PROGRAMMING

Subjek tambahan

 

Katalog

Judul

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

ISBN

978-3-031-31476-6

Kolasi

351p.: pdf file.; 11 MB

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

Springer Cham

Kota

Singapore

Tahun

2023

Koleksi

Total

1 Koleksi

Tersedia

1 Koleksi

Kompetensi

Tidak ada

 

Download / Flippingbook

Link file

E - Book (ebook.pdf)

belum pernah diunduh

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali