Imagen de Portada

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

Guardado en:

Autor Principal:	Davies, Jim.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Gibbons, Jeremy.
Formato:	Electrónico
Idioma:	English
Publicado:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:	Lecture Notes in Computer Science, 4591
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

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

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

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)

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)

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)

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
por: Virbitskaite, Irina.
Publicado: (2007)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Bonsangue, Marcello M.
Publicado: (2007)

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)

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)

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings /
por: Butler, 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)

Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
por: Shao, Zhong.
Publicado: (2007)

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings /
por: Arbab, Farhad.
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)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings /
por: Steffen, Martin.
Publicado: (2005)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
por: Bonaki, Dragan.
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)

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

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
por: Nielson, Hanne Riis.
Publicado: (2007)

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007. Proceedings /
por: Indulska, Jadwiga.
Publicado: (2007)

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /
por: Schmidt, Heinz W.
Publicado: (2007)

ECOOP 2007 Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings /
por: Ernst, Erik.
Publicado: (2007)

ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
por: Black, Andrew P.
Publicado: (2005)

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /
por: Lumpe, Markus.
Publicado: (2007)

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures /
por: Bernardo, Marco.
Publicado: (2007)

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings /
por: Nicola, Rocco.
Publicado: (2007)

Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings /
por: Concas, Giulio.
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)

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

B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings /
por: Julliand, Jacques.
Publicado: (2006)

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

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings /
por: Hankin, Chris.
Publicado: (2005)

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings /
por: Baumeister, Hubert.
Publicado: (2005)

Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings /
por: Lightfoot, David E.
Publicado: (2006)

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

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
por: Trinder, Phil.
Publicado: (2005)