Formal Methods for Software Engineering: Languages, Methods, Application Domains

Koleksi

Katalog

Formal Methods for Software Engineering: Languages, Methods, Application Domains
23.21.1602 - Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

Barcode

23.21.1602-1

Kondisi

Tersedia

Tanggal masuk

13 October 2023

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