Imagen de Portada

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /

Guardado en:

Autor Principal:	Virbitskaite, Irina.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Voronkov, Andrei.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Lecture Notes in Computer Science, 4378
Materias:	Computer science Software engineering Logic design Computer Science Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering Programming Techniques
Acceso en línea:	SpringerLink, via BECYT
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Advances in Smalltalk 14th International Smalltalk Conference, ISC 2006, Prague, Czech Republic, September 4-8, 2006, Revised Selected Papers /
por: Meuter, Wolfgang.
Publicado: (2007)

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings /
por: Hentenryck, Pascal.
Publicado: (2006)

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
por: Baresi, Luciano.
Publicado: (2006)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
por: Bin, Eyal.
Publicado: (2007)

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /
por: Abdallah, Ali E.
Publicado: (2005)

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings /
por: Valmari, Antti.
Publicado: (2006)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
por: Emerson, E. Allen.
Publicado: (2006)

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings /
por: Liu, Zhiming.
Publicado: (2006)

Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings /
por: Romijn, Judi.
Publicado: (2005)

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /
por: Davies, Jim.
Publicado: (2007)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
por: Hanus, Michael.
Publicado: (2007)

Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines.
Publicado: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
por: Bjøner, Dines.
Publicado: (2006)

Software Engineering 1 Abstraction and Modelling /
por: Bjørner, Dines.
Publicado: (2006)

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings /
por: Heineman, George T.
Publicado: (2005)

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
por: Hermenegildo, Manuel V.
Publicado: (2005)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
por: Ur, Shmuel.
Publicado: (2006)

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
por: Kobayashi, Naoki.
Publicado: (2006)

Datatype-Generic Programming International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures /
por: Backhouse, Roland.
Publicado: (2007)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
por: Cousot, Radhia.
Publicado: (2005)

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings /
por: Lau, Kung-Kiu.
Publicado: (2005)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
por: Cook, Byron.
Publicado: (2007)

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
por: Dwyer, Matthew B.
Publicado: (2007)

Model-Based Testing of Reactive Systems Advanced Lectures /
por: Broy, Manfred.
Publicado: (2005)

Variations on Constants Flow Analysis of Sequential and Parallel Programs /
por: Müller-Olm, Markus.
Publicado: (2006)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
por: Bonaki, Dragan.
Publicado: (2007)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
por: Cerioli, Maura.
Publicado: (2005)

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
por: Godefroid, Patrice.
Publicado: (2005)

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings /
por: Abrahamsson, Pekka.
Publicado: (2006)

Composition of Embedded Systems. Scientific and Industrial Issues 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers /
por: Kordon, Fabrice.
Publicado: (2007)

Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
por: Yi, Kwangkeun.
Publicado: (2006)

Trustworthy Global Computing Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers /
por: Montanari, Ugo.
Publicado: (2007)

Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers /
por: Löwe, Welf.
Publicado: (2006)

Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
por: Südholt, Mario.
Publicado: (2007)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
por: Gorrieri, Roberto.
Publicado: (2006)

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings /
por: Eliassen, Frank.
Publicado: (2006)

Categories for Software Engineering
por: Fiadeiro, José Luiz.
Publicado: (2005)

ECOOP 2006 Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings /
por: Thomas, Dave.
Publicado: (2006)

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings /
por: Gorton, Ian.
Publicado: (2006)

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers /
por: Noriega, Pablo.
Publicado: (2007)