Verified software : theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings /
Disimpan dalam:
| Pengarang Korporat: | |
|---|---|
| Pengarang-pengarang Lain: | , |
| Format: | Buku |
| Bahasa: | English |
| Diterbitkan: |
Berlin ; New York :
Springer,
c2008.
|
| Siri: | Lecture notes in computer science ;
5295. |
| Subjek-subjek: | |
| Penanda-penanda: |
Tambah Penanda
Tiada Penanda, Jadilah orang pertama menanda rekod ini!
|
3rd Floor Main Library
| Nombor panggilan: |
A1234.567 |
|---|---|
| Salinan 1 | Tersedia |