Imagen de Portada

Algebraic methods II : theory, tools, and applications /

Guardado en:

Autor Corporativo:	European Strategic Programme for Research and Development in Information Technology.
Otros Autores:	Bergstra, J. A., Feijs, L. M. G.
Formato:	Libro
Idioma:	English
Publicado:	Berlin ; New York : Springer-Verlag, c1991.
Series:	Lecture notes in computer science ; 490
Materias:	Computer software > Development > Congresses. Algebra > Congresses.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
Publicado: (1994)

FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings /
Publicado: (1993)

VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
Publicado: (1991)

First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 /
Publicado: (1997)

Algebras and modules II : Eighth International Conference on Representations of Algebras, August 4-10, 1996, Geiranger, Norway /
Publicado: (1998)

VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
Publicado: (1988)

Representation theory and algebraic geometry /
Publicado: (1997)

The RAISE development method /
Publicado: (1995)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Publicado: (1994)

Argumentation in multi-agent systems : second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised selected and invited papers /
Publicado: (2006)

Argumentation in multi-agent systems : 4th international workshop, ArgMAS 2007, Honolulu, Hawaii, May 15, 2007 : revised selected and invited papers /
Publicado: (2008)

Topics in algebra /
Publicado: (1990)

Trends in the representation theory of finite dimensional algebras : 1997 Joint Summer Research Conference on Trends in the Representation Theory of Finite Dimensional Algebras, July 20-24, 1997, Seattle, Washington /
Publicado: (1998)

Representations of algebras : sixth International Conference, August 19-22, 1992, Ottawa, Ontario, Canada /
Publicado: (1993)

Algebraic structures and their representations : XV Coloquio Latinoamericano de Algebra, Cocoyoc, Morelos, México, July 20-26, 2003 /
Publicado: (2005)

Representations of finite dimensional algebras : proceedings of the Tsukuba International Conference (fifth ICRA) held August 13-18, 1990 /
Publicado: (1991)

Algebraic Conference, Novi Sad, 1981 /
Publicado: (1982)

Algebra, representation theory /
Publicado: (2001)

Proceedings of the Third Algebraic Conference, Beograd, 1982 /
Publicado: (1983)

Dependable computing for critical applications 5 /
Publicado: (1998)

Representation theory of algebras : proceedings of the Philadelphia Conference /
Publicado: (1978)

Representation theory of algebras : Seventh International Conference on Representations of Algebras, August 22-26, 1994, Cocoyoc, Mexico /
Publicado: (1996)

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991 : proceedings /
Publicado: (1991)

First International Tainan-Moscow Algebra Workshop : proceedings of the international conference held at National Cheng Kung University, Tainan, Taiwan, Republic of China, July 23-August 22, 1994 /
Publicado: (1996)

Computational methods for representations of groups and algebras : Euroconference in Essen (Germany), April 1-5, 1997 /
Publicado: (1999)

2a. Conferencia Agile-Spain CAS2011 /
Publicado: (2012)

Black-box testing : techniques for functional testing of software and systems /
por: Beizer, Boris, 1934-
Publicado: (1995)

Software modeling and design : UML, use cases, patterns, and software architectures /
por: Gomaa, Hassan.
Publicado: (2011)

Function algebras : proceedings of an International Symposium on Function Algebras held at Tulane University, 1965 /
Publicado: (1966)

Representations of algebras and related topics /
Publicado: (1992)

Algebraic geometry, Sendai, 1985 /
Publicado: (1987)

Representations of algebras and related topics /
Publicado: (2005)

Industria del software
Publicado: (2005)

Representations of algebras : proceedings of the conference held in São Paulo /
Publicado: (2002)

Group theory, algebra, and number theory : colloquium in memory of Hans Zassenhaus, held in Saarbrücken, Germany, June 4-5, 1993 /
Publicado: (1996)

Testing in Scrum : a guide for software quality assurance in the agile world /
por: Linz, Tilo.
Publicado: (2014)

Rapid evolutionary development : requirements, prototyping & software creation /
por: Arthur, Lowell Jay, 1951-
Publicado: (1991)

Pattern-oriented software architecture : a system of patterns /
Publicado: (1996)

Agile software development /
por: Cockburn, Alistair.
Publicado: (2002)

Software requirements & specifications : a lexicon of practice, principles, and prejudices /
por: Jackson, Michael J.
Publicado: (1995)