8 treff

programutvikling matematiske modeller
Religions of South Asia : an introduction
edited by Sushil Mittal and Gene R. Thurs...
Bok Engelsk 2006 · Vis mer
Algebraic methodology and software technology : 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2006 · Vis mer
Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
International Conference on Algebraic Methodology and Software Technology
Bok Engelsk 2000 · Vis mer
Mathematical approaches to software quality
Gerard O'Regan
Bok Engelsk 2006 · Vis mer
Mechanised formal reasoning about modular programs
Linas Laibinis
Bok Engelsk 2000 · Vis mer
Environment support for building structured mathematical models
by Johan Herber
Bok Engelsk 1995 · Vis mer