Imej Kulit

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Disimpan dalam:
Butiran Bibliografi
Pengarang-pengarang Korporat: VMCAI 2005 Paris, France), Association for Computing Machinery., European Association for Programming Languages and Systems.
Pengarang-pengarang Lain: Cousot, Radhia.
Format: Buku
Bahasa:English
Diterbitkan: Berlin ; New York : Springer, c2005.
Siri:Lecture notes in computer science ; 3385.
Subjek-subjek:
Computer programs > Verification > Congresses.
Penanda-penanda: Tambah Penanda
Tiada Penanda, Jadilah orang pertama menanda rekod ini!

3rd Floor Main Library

Butiran pegangan daripada %%lokasi%%
Nombor panggilan: A1234.567
Salinan 1 Tersedia

Item Serupa