Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Uloženo v:
| Korporace: | International SPIN Workshop Toronto, Ont.), ACM Sigsoft. |
|---|---|
| Další autoři: | Dwyer, Matthew, 1963- |
| Médium: | Sách giấy |
| Vydáno: |
Berlin ; New York :
Springer,
2001.
|
| Edice: | Lecture notes in computer science ;
2057 |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Podobné jednotky
-
Verification, Model Checking, and Abstract Interpretation:
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Autor: D'Souza, Deepak, a další
Vydáno: (2015) -
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Vydáno: (2001) -
Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /
Vydáno: (2001) -
Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Vydáno: (2001) -
Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Vydáno: (2002)


