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

Mã QR

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

Đã lưu trong:

Chi tiết về thư mục
Nhiều tác giả của công ty:	International SPIN Workshop Toronto, Ont.), ACM Sigsoft.
Tác giả khác:	Dwyer, Matthew, 1963-
Định dạng:	Sách giấy
Được phát hành:	Berlin ; New York : Springer, 2001.
Loạt:	Lecture notes in computer science ; 2057
Những chủ đề:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses.
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

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 /
Được phát hành: (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 /
Được phát hành: (2001)

Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern, Germany, September 12-13, 2001 : proceedings /
Được phát hành: (2001)

Mathematical software : proceedings of the first International Congress of Mathematical Software : Beijing, China, 17-19 August 2002 /
Được phát hành: (2002)

Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 5-8, 2000 : proceedings /
Được phát hành: (2001)

Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings /
Được phát hành: (2001)

SPIN 2004 : 16th international spin physics symposium : workshop on polarized electron sources and polarimeters /
Được phát hành: (2005)

Intelligent virtual agents : third international workshop, IVA 2001, Madrid, Spain, September 10-11, 2001 : proceedings /
Được phát hành: (2001)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Được phát hành: (2001)

Spin 2000 : 14th International Spin Physics Symposium, Osaka, Japan, 16-21 October 2000 /
Được phát hành: (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 /
Được phát hành: (2003)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Algorithms-ESA 2001 : 9th annual European symposium, Aarhus, Denmark, August 28-31, 2001 : proceedings /
Được phát hành: (2001)

Mathematical foundations of computer science 2001 : 26th international symposium, MFCS 2001, Marianske Lazne, Czech Republic, August 2001 : proceedings /
Được phát hành: (2001)

Programs as data objects : Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001 : proceedings /
Được phát hành: (2001)

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 /
Được phát hành: (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 /
Được phát hành: (2005)

Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings /
Được phát hành: (2001)

Tools for working with guidelines : annual meeting of the special interest group /
Được phát hành: (2000)

Verification and validation for quality of UML 2.0 models
Bỡi: Unhelkar, Bhuvan
Được phát hành: (2005)

Vector and parallel processing--VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks /
Được phát hành: (2001)

Presention paper for the workshop on systems development
Được phát hành: (1977)

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /
Được phát hành: (2001)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Được phát hành: (2001)

Automata, languages and programming : 28th international colloquium, ICALP 2001, M⡬aga, Spain, July 8-13, 2002 : proceedings /
Được phát hành: (2001)

Graph drawing : 8th International Symposium, GD 2000, Colonial Williamsburg, Va, USA, September 20-23, 2000 : proceedings /
Được phát hành: (2001)

Tunneling in complex systems
Được phát hành: (1998)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Được phát hành: (2001)

Combinatorial pattern matching : 12th Annual Symposium, CPM 2001, Jerusalem, Israel, Junly 1-4, 2001 : proceedings /
Được phát hành: (2001)

Natural language processing and information systems : 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 2000 : revised papers /
Được phát hành: (2001)

Technologies for E-Services : second international workshop, TES 2001, Rome, Italy, September 14-15, 2001 : proceedings /
Được phát hành: (2001)

PENTAQUARK 04 : proceedings of the international workshop, SPring-8, Japan, 20-23 July 2004 /
Được phát hành: (2005)

Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Được phát hành: (2001)

STACS 2001 : 18th annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17, 2001 : proceedings /
Được phát hành: (2001)

Computer analysis of images and patterns : 9th international conference, CAIP 2001, Warsaw, Poland, September 5-7, 2001 : proceedings /
Được phát hành: (2001)

Software engineering with Oracle:
Bỡi: Bonazzi, Elio
Được phát hành: (2000)

Software engineering with Oracle:
Bỡi: Bonazzi, Elio
Được phát hành: (2000)

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001, Berkeley, CA, USA, August 2001, proceedings /
Được phát hành: (2001)

Complexity, metastability and nonextensivity : 31st Workshop of the International School of Solid State Physics, Erice, Sicily, Italy, 20-26 July 2004 /
Được phát hành: (2005)

Proceedings 2000 /
Được phát hành: (2000)