16 treff

formelle systemer
Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings
FORTE 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
FMOODS 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
FORTE 2003
Bok Engelsk 2003 · Vis mer
Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
FORTE 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
A meta-language for UML concrete graphical syntax
Thomas Hemmingby Espe
Bok Engelsk 2004 · Vis mer
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996 · Vis mer
Foundations of Computer Science, 1979., 20th Annual Symposium on

Bok Engelsk 1997 · Vis mer
Formal methods for distributed processing : a survey of object-oriented approaches
edited by Howard Bowman, John Derrick
Bok Engelsk 2001 · Vis mer
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings

Bok Engelsk 1996 · Vis mer
Verification of reactive systems : formal methods and algorithms
Klaus Schneider
Bok Engelsk 2004 · Vis mer
Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
COCOON '97
Bok Engelsk 1997 · Vis mer
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings
Symposium on Theoretical Aspects of Computer Science
Bok Engelsk 1997 · Vis mer
ECOOP'97 - object-oriented programming : 11th European conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings
European Conference on Object-Oriented Programming
Bok Engelsk 1997 · Vis mer
Rule-based programming
by Thaddeus J. Kowalski, Leon S. Levy
Bok Engelsk 1996 · Vis mer
Computational decision analysis
Mats Danielson
Bok Engelsk 1997 · Vis mer
Object-oriented programming : 8th European conference, ECOOP '94, Bologna, Italy, July 4-8, 1994 : proceedings
European Conference on Object-Oriented Programming
Bok Engelsk 1994 · Vis mer