Verification of Data-Aware Processes via Satisfiability Modulo Theories

Koleksi

Katalog

Verification of Data-Aware Processes via Satisfiability Modulo Theories
24.21.1058 - Alessandro Gianola

Barcode

24.21.1058-1

Kondisi

Tersedia

Tanggal masuk

01 November 2024

Unit

Asal penerimaan

Beli

Pemasok

Logistik Telkom University

Harga pembelian

Jenis katalog

Buku - Elektronik (E-Book)

Lokasi

Tel-U Gedung Manterawu Lantai 5