Concise Guide to Software Verification: From Model Checking to Annotation Checking

Koleksi

Katalog

Concise Guide to Software Verification: From Model Checking to Annotation Checking
24.21.1420 - Marieke Huisman, Anton Wijs

Barcode

24.21.1420-1

Kondisi

Sedang Diproses

Tanggal masuk

07 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