32 treff

Dewey-nr: 005.13/1
FMICS '05 : proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, September 5-6, 2005, Lisbon, Portugal, co-located with ESEC/fse '05
International Workshop on Formal Methods for Industrial Critical Systems
Bok Engelsk 2005 · Vis mer
Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised papers
FATES 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
The formal semantics of programming languages : an introduction
Winskel, G.
Bok Engelsk 1993 · Vis mer
Applied semantics : international summer school, APPSEM 2000, Caminha, Portugal, September 9-15, 2000 : advanced lectures
APPSEM 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2002 · Vis mer
Advanced topics in term rewriting
Enno Ohlebusch
Bok Engelsk 2002 · Vis mer
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings
PADL 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Practical aspects of declarative languages : 5th international symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : proceedings
PADL 2003
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2001 · Vis mer
Practical aspects of declarative languages : third international symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001 : proceedings
PADL 2001
Bok Engelsk 2001 · Vis mer
Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 2000 · Vis mer
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
International Static Analysis Symposium
Bok Engelsk 2000 · Vis mer
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999 · Vis mer
Practical aspects of declarative languages : first international workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999 : proceedings
PADL'99
Bok Engelsk 1999 · Vis mer
Types for proofs and programs : international workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers
TYPES '98
Bok Engelsk 1999 · Vis mer
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2.
World Congress on Formal Methods in the Development of Computing Systems (1 : 1999 Toulouse)
Bok Engelsk 1999 · Vis mer
Vis flere utgaver
Vis flere utgaver
Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
ICGI-98
Bok Engelsk 1998 · Vis mer
New trends in formal languages : control, cooperation, and combinatorics

Bok Engelsk 1997 · Vis mer
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1997 · Vis mer
Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers

Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
CTCS '95
Bok Engelsk 1995 · Vis mer
Types for proofs and programs : international workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999 : selected papers
TYPES '99
Bok Engelsk 2000 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Static analysis : 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
International Static Analysis Symposium
Bok Engelsk 1997 · Vis mer
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
LOMAPS Workshop
Bok Engelsk 1997 · Vis mer
Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
International Static Analysis Symposium
Bok Engelsk 1996 · Vis mer
String-rewriting systems
Ronald V. Book, Friedrich Otto
Bok Engelsk 1993 · Vis mer
Algebraic approaches to program semantics
Ernest G. Manes, Michael A. Arbib
Bok Engelsk 1986 · Vis mer
Recursive algorithms
Lorentz, Richard J.,
Bok Engelsk · Vis mer
Vis flere utgaver
Vis flere utgaver