61 treff

programverifikasjon
Generalisert algebraisk spesifikasjon med en anvendelse på indirekte semantikk
Jo Erskine Hannay
Bok Bokmål 1995 · Vis mer
Bruk av substitusjonssystemer til formelle bevis Appendiks
Vihovde, Eva Hadler
Bok Bokmål 1989 · Vis mer
Aliasproblematikk innen Hoare-logikk for objektorientert programmering
Henrik Berg
Bok Bokmål 2002 · Vis mer
On the shape of mathematical arguments
A. J. M. van Gasteren ; foreword by Edsge...
Bok Engelsk 1990 · 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
COLOG-88 : International Conference on Computer Logic, Tallinn, USSR,December 12-16, 1988 : proceedings
International Conference on Computer Logic
Bok Engelsk 1990 · Vis mer
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
International Workshop on Current Trends in Applied FormalMethods
Bok Engelsk 1999 · Vis mer
Program development in computational logic : a decade of research advances in logic-based program development
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004 · Vis mer
Verification of computer codes in computational science and engineering
Knupp, Patrick M.
Bok Engelsk 2003 · Vis mer
Program design calculi
NATO Advanced Study Institute on Program Design Calculi
Bok Engelsk 1993 · Vis mer
Executing temporal logic programs
B. E. Moszkowski
Bok Språk ikke angitt 1986 · Vis mer
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword b...
Bok Engelsk 2004 · Vis mer
Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998 · Vis mer
Runtime validation of communication histories : an automata-based approach
Øystein Torget
Bok Engelsk 2006 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
LOPSTR 2001
Bok Engelsk 2002 · Vis mer
Foundations of Computer Science, 1979., 20th Annual Symposium on

Bok Engelsk 1997 · Vis mer
Mathematical theory of program correctness
Jaco de Bakker ; with the assistance of A...
Bok Engelsk 1980 · Vis mer
Logic program synthesis and transformation : 6th international workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings
LOPSTR '96
Bok Engelsk 1997 · Vis mer
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Bernhard K. Aichernig, Tom Maibaum (eds.)...
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Program specification and verification techniques : kap. 1 og kap. 2
Ole-Johan Dahl
Bok Engelsk 1990 · Vis mer
Program specification and verification techniques Part II
Dahl, Ole-Johan, 1931-2002
Bok Engelsk 1990 · Vis mer
Program specification and verification techniques Del I
Dahl, Ole-Johan
Bok Engelsk 1988 · Vis mer
Searching program libraries by type and proving compiler correctness by bisimulation
Mikael Rittri
Bok Engelsk 1990 · Vis mer
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
Nachum Dershowitz (ed.)
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Declarative agent languages and technologies : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 : revised selected and invited papers
DALT 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
International SPIN Workshop
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver