Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

Informasi Dasar

Dilihat

55 kali

No. Katalog

24.21.1824

Klasifikasi

005.13

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

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

Abstraksi

Subjek

Subjek utama

LANGUAGE PROGRAMMING

Subjek tambahan

 

Katalog

Judul

Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

ISBN

978-3-031-33163-3

Kolasi

643p.: pdf file.; 23 MB

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Uwe Glässer, Jose Creissac Campos, Dominique Méry, Philippe Palanque

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