Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990

Computer-aided verification Proceedings.2nd International Conference, CAV'90 New Brunswick,NJ, June 18-21,1990

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Clarke, E. M. (Επιμελητής έκδοσης), Kurshan, R. P. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	berlin Springer-Verlag c1991
Σειρά:	Lecture Notes in Computer Science / G. Goos and J. Hartmanis 531
Θέματα:	COMPUTER SOFTWARE COMPUTER > AIDED VERIFICATION PROCEEDINGS ΕΠΕΑΕΚ ΠΡΑΚΤΙΚΑ ΣΥΝΕΔΡΙΩΝ LNCS

Παρόμοια τεκμήρια

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986
Έκδοση: (1986)

Temporal verification of reactive systems Safety
ανά: Manna, Zohar, κ.ά.
Έκδοση: (1995)

New trends in formal languages Control,cooperation and combinatorics
ανά: Paun, Gheorghe, κ.ά.
Έκδοση: (1997)

Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993
Έκδοση: (1993)

Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992
Έκδοση: (1992)

Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986
Έκδοση: (1986)

Parallel computer architectures Theory, hardware, software, applications. The 1st workshop
Έκδοση: (1993)

Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
ανά: Godefroid, Patrice
Έκδοση: (1996)

Supercomputing Proceedings of the 1st International Conference Athens, Greece, June 8-12, 1987
Έκδοση: (1988)

Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Έκδοση: (1986)

Advances in Cryptology - CRYPTO '85 Proceedings
Έκδοση: (1986)

Advances in Cryptology - CRYPTO '86 Proceedings
Έκδοση: (1987)

Advances in Cryptology Proceedings of EUROCRYPT 84 A Workshop on the theory and application of cryptographic techniques Paris, France, April 9-11, 1984
Έκδοση: (1985)

Advances in Cryptology - CRYPTO '91 Proceedings
Έκδοση: (1992)

Advances in Cryptology - EUROCRYPT '92 Proceedings.Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary May 24-28, 1992
Έκδοση: (1993)

HTheories Iand methods of spatio-temporal reasoning in geographic space Proceedings. International conference GIS. Pisa, Italy, September 21-23, 1992
Έκδοση: (1992)

Higher order logic and harware verification
ανά: Melham, T.
Έκδοση: (1993)

Information systems and artificial intelligence: integration aspects First Workshop Ulm, FRG, March 19-21, 1990 Proceedings
Έκδοση: (1991)

Algorithms - ESA '94 Proceedings of the 2nd Annual European Symposium Utrecht, The Netherlands, September 26-28, 1994
Έκδοση: (1994)

Digital Libraries Research and Technology Advances ADL' 95 Mc Lean, Virginia, USA, May 15-17, 1995 selected papers
Έκδοση: (1996)

Advanced Information Systems Engineering 8th International Conference, CAiSE '96 Heraklion , Crete, Greece, May 20-24, 1996 Proceedings
Έκδοση: (1996)

Advances in Database Technology - EDBT '96 5th International Conference on Extending Database Technology Avignon, France, March 25-29, 1996 Proceedings
Έκδοση: (1996)

Conceptual Modeling - ER 2001 20th International Conference on Conceptual Modeling Yokohoma, Japan, November 2001 Proceedings
Έκδοση: (2001)

Parallel problem solving from nature-PPSN III Proceedings of the International conference on Evolutionaty Computation The 3rd conference on parallel problem solving from Nature. Jerusalem,Israel, October 9-14 1994
Έκδοση: (1994)

Parallel problem solving from Nature-PPSN IV Proceedings of the International conference on Evolutionary Computation. The 4th international conference on parallel problem solving from Nature. Berlin, Germany, september 22-26, 1996
Έκδοση: (1996)

Automata, Languages and Programming Proceedings of the 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 2000
Έκδοση: (2000)

Automata, Languages and Programming Proceedings of the 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 1999
Έκδοση: (1999)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Verification and validation for quality of UML 2.0 models /
ανά: Unhelkar, Bhuvan
Έκδοση: (2005)

Foundations of software technology and theoretical computer science Proceedings of the 6th conference New Delhi, India, Decdmber 18-20, 1986
Έκδοση: (1986)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Mobile communications
Έκδοση: (1994)

Programming languages and system architectures Proceedings International Conference Zurich, Switzerland, March 2-4, 1994
Έκδοση: (1994)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Parallel computing and mathematical optimization Workshop on Parallel Algorithms and Transputers for Optimization University of Siegen, FRG, November 9, 1990
Έκδοση: (1991)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Interval mathematics 1985 Proceedings of the International Symposium. Freidurg i Br., Germany, September 23-26, 1985.
Έκδοση: (1986)

Spatial Information Theory A theoretical basis for GIS Proceedings of the International Conference COSIT'95 Semmering, Austria, Septmber 21-23, 1995
Έκδοση: (1995)

PARLE'92 parallel architecture and languages europe Proceedings of the 4th international conference Paris, France, June 15-18, 1992
Έκδοση: (1992)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών