Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

QR Code (код быстрого отклика)

Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /

Сохранить в:

Библиографические подробности
Корпоративные авторы:	International SPIN Workshop Toronto, Ont.), ACM Sigsoft.
Другие авторы:	Dwyer, Matthew, 1963-
Формат:	Sách giấy
Опубликовано:	Berlin ; New York : Springer, 2001.
Серии:	Lecture notes in computer science ; 2057
Предметы:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses.
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Схожие документы

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
по: D'Souza, Deepak, et al.
Опубликовано: (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 /
Опубликовано: (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 /
Опубликовано: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Опубликовано: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Опубликовано: (2002)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
по: Núñez, Manuel, et al.
Опубликовано: (2015)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Опубликовано: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Опубликовано: (2001)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Опубликовано: (2001)

SPIN 2004 : 16th international spin physics symposium : workshop on polarized electron sources and polarimeters /
Опубликовано: (2005)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Опубликовано: (2001)

GDH 2002 : proceedings of the Second International Symposium on the Gerasimov-Drell-Hearn Sum Rule and the Spin Structure of the Nucleon : Genova, Italy, 3-6 July, 2002 /
Опубликовано: (2003)

Spin 2000 : 14th International Spin Physics Symposium, Osaka, Japan, 16-21 October 2000 /
Опубликовано: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Опубликовано: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Опубликовано: (2001)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Опубликовано: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Опубликовано: (2001)

GDH 2004 : proceedings of the Third International Symposium on the Gerasimov-Drell-Hearn Sum Rule and its Extensions : Old Dominion University, Norfolk, Virginia, USA, June 2-5, 2004 /
Опубликовано: (2005)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Опубликовано: (2001)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
по: Rout, Terry, et al.
Опубликовано: (2015)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Опубликовано: (2001)

Verification and validation for quality of UML 2.0 models
по: Unhelkar, Bhuvan
Опубликовано: (2005)

Software Engineering Research, Management and Applications
по: Lee, Roger
Опубликовано: (2015)

Foundations of Software Science and Computation Structures
по: Muscholl, Anca
Опубликовано: (2015)

Model Checking Software
по: Godefroid, Patrick
Опубликовано: (2020)

Model Checking Software
по: Bosnacki, Dragan, et al.
Опубликовано: (2020)

Presention paper for the workshop on systems development
Опубликовано: (1977)

Tools for working with guidelines : annual meeting of the special interest group /
Опубликовано: (2000)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Опубликовано: (2001)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Опубликовано: (2001)

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
по: Bernardo, Marco, et al.
Опубликовано: (2015)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Опубликовано: (2001)

Model Checking Software
Опубликовано: (2020)

Graph drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings /
Опубликовано: (2001)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Опубликовано: (2001)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
по: Zdravkovic, Jelena, et al.
Опубликовано: (2015)

Model Checking Software
Опубликовано: (2020)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Опубликовано: (2001)

SOFSEM 2015: Theory and Practice of Computer Science: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
по: Italiano, G.F, et al.
Опубликовано: (2015)

Tunneling in complex systems
Опубликовано: (1998)