Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Koleksi

Katalog

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
22.21.1492 - Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

Barcode

22.21.1492-1

Kondisi

Tersedia

Tanggal masuk

01 December 2022

Informasi Koleksi

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5

Kembali