Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 005.369 Ant h
Collection Type Indeks Artikel LNCS
Title On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999)
Author Ahmed BBouajjani; Rachid Echahed; Riadh Robbana;
Publisher Springer, 1995
Subject
Location
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
005.369 Ant h TERSEDIA
Tidak ada review pada koleksi ini: 39720
Tidak ada abstrak pada koleksi ini