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

QR kód

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

Uloženo v:

Podrobná bibliografie
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:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses.
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)

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Autor: Núñez, Manuel, a další
Vydáno: (2015)

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

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

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

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

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

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

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

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

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

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

Software Process Improvement and Capability Determination: 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings
Autor: Rout, Terry, a další
Vydáno: (2015)

Verification and validation for quality of UML 2.0 models
Autor: Unhelkar, Bhuvan
Vydáno: (2005)

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

Software Engineering Research, Management and Applications
Autor: Lee, Roger
Vydáno: (2015)

Foundations of Software Science and Computation Structures
Autor: Muscholl, Anca
Vydáno: (2015)

Model Checking Software
Autor: Godefroid, Patrick
Vydáno: (2020)

Model Checking Software
Autor: Bosnacki, Dragan, a další
Vydáno: (2020)

Presention paper for the workshop on systems development
Vydáno: (1977)

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

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

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Vydáno: (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
Autor: Bernardo, Marco, a další
Vydáno: (2015)

Model Checking Software
Vydáno: (2020)

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

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

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

Advanced Information Systems Engineering 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
Autor: Zdravkovic, Jelena, a další
Vydáno: (2015)

Model Checking Software
Vydáno: (2020)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Vydáno: (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
Autor: Italiano, G.F, a další
Vydáno: (2015)

Tunneling in complex systems
Vydáno: (1998)

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_es7umj75hvgbm6qn08udjl6l5q
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235