Call Number | SEM-314 |
Collection Type | Indeks Artikel prosiding/Sem |
Title | Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229) |
Author | Atsushi Togashi Yuh Kitano Satoru Izumi Kaoru Takahashic kei Homma; |
Publisher | |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-314 | TERSEDIA |