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

Codi QR

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

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	International SPIN Workshop Toronto, Ont.), ACM Sigsoft.
Altres autors:	Dwyer, Matthew, 1963-
Format:	Sách giấy
Publicat:	Berlin ; New York : Springer, 2001.
Col·lecció:	Lecture notes in computer science ; 2057
Matèries:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
per: D'Souza, Deepak, et al.
Publicat: (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 /
Publicat: (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 /
Publicat: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Publicat: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Publicat: (2002)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
per: Núñez, Manuel, et al.
Publicat: (2015)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Publicat: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Publicat: (2001)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Publicat: (2001)

SPIN 2004 : 16th international spin physics symposium : workshop on polarized electron sources and polarimeters /
Publicat: (2005)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Publicat: (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 /
Publicat: (2003)

Spin 2000 : 14th International Spin Physics Symposium, Osaka, Japan, 16-21 October 2000 /
Publicat: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Publicat: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Publicat: (2001)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Publicat: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Publicat: (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 /
Publicat: (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 /
Publicat: (2001)

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
per: Rout, Terry, et al.
Publicat: (2015)

Verification and validation for quality of UML 2.0 models
per: Unhelkar, Bhuvan
Publicat: (2005)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Publicat: (2001)

Software Engineering Research, Management and Applications
per: Lee, Roger
Publicat: (2015)

Foundations of Software Science and Computation Structures
per: Muscholl, Anca
Publicat: (2015)

Model Checking Software
per: Godefroid, Patrick
Publicat: (2020)

Model Checking Software
per: Bosnacki, Dragan, et al.
Publicat: (2020)

Presention paper for the workshop on systems development
Publicat: (1977)

Tools for working with guidelines : annual meeting of the special interest group /
Publicat: (2000)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Publicat: (2001)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Publicat: (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
per: Bernardo, Marco, et al.
Publicat: (2015)

Model Checking Software
Publicat: (2020)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Publicat: (2001)

Graph drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings /
Publicat: (2001)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Publicat: (2001)

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
per: Zdravkovic, Jelena, et al.
Publicat: (2015)

Model Checking Software
Publicat: (2020)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Publicat: (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
per: Italiano, G.F, et al.
Publicat: (2015)

Tunneling in complex systems
Publicat: (1998)