Laddar...

QR-kod

Formal Development Of Programs And Proofs

Bibliografiska uppgifter
Huvudupphovsman:	Dijkstra, Edsger W
Materialtyp:	Printed Book
Publicerad:	Addison-wesley Publishing Company 1990

Liknande verk

Predicate Calculus And Program Semantics
av: Dijkstra, Edsger W
Publicerad: (1990)

Type theory and formal proof : an introduction /
av: Nederpelt, R. P. (Rob P.), et al.
Publicerad: (2014)

Methode of programming
av: Edsger W Dijkstra,WHJ Feijen
Publicerad: (1988)

Proof theory: sequent calculi and related formalisms
av: Bimbo, Katalin
Publicerad: (2015)

Selected writings on computing: a personal perspective
av: Edsger W Dijkstra
Publicerad: (1982)

Formal models in programming
av: Neuhold, E J
Publicerad: (1985)

Adapting proofs-as-program: the curry-howard protocol
av: Poernomo, Iman Hafiz
Publicerad: (2005)

Proof theory sequent calculi and related formalisms
av: Bimbo, Katalin
Publicerad: (2015)

Algorithms :The Construction ,Proof And Analysis Of Programs
av: Pierrie Berlioux, Philippe Bizard
Publicerad: (1987)

Computer Programming and Formal Systems
av: Braffort P. and Hirschberg D.
Publicerad: (1970)

Formal discription of programming concepts.
av: Neuhold, E.J
Publicerad: (1991)

Computer programming and formal systems.
av: Braffort, P.ed
Publicerad: (1970)

Formal methods of program verification
av: Berg,H.K

Formal methods of program verification
av: Berg,H.K

Formal Description of Programming Concepts
av: Erich J. Neuhold, Manfred Paul
Publicerad: (1991)

Proofs and computations /
av: Schwichtenberg, Helmut, et al.
Publicerad: (2012)

Proof Reading /

Logic and Proof
av: Bittnger, Marvin L
Publicerad: (1970)

Proof in geometry /
av: Fetisov, A. I.
Publicerad: (1978)

Godel's proof,
av: Nagel, Ernest
Publicerad: (1986)

Abel's proof.
av: Pesic, Peter
Publicerad: (2003)

Logic and Proof/
av: Bittinger, Marvin L.
Publicerad: (1970)

Proofs and types /
av: Girard, Jean-Yves
Publicerad: (1989)

Proof theory
av: Takeuti, Gaisi
Publicerad: (1975)

Shark proof
av: Mackay, Harvey B.
Publicerad: (1993)

Godel's proof /
av: Nagel, Ernest
Publicerad: (1964)

Proof theory
av: Schutte, Kurt
Publicerad: (1977)

Conjecture and proof
av: Laczkovich, Miklos
Publicerad: (2001)

Logic and proof
av: Bittinger, Marvin L
Publicerad: (1970)

Godel's proof /
av: Ernest Nagel
Publicerad: (2005)

Formality/
av: Saraswathy B
Publicerad: (2015)

Formal methods of program verification and specification
av: H K Berg, et al.
Publicerad: (1982)

Logical introduction to proof /
av: Cunningham, Daniel W.
Publicerad: (2012)

Proofs that really count: The art of combinatorial proof.
av: Benjamin, Arthur T
Publicerad: (2003)

Logic programming: operational semantics and proof theory
av: Andrews, James H
Publicerad: (1992)

Formal or non formal education for rural development which one? /
av: Khan, Mumtaz Ali
Publicerad: (1995)

Moment of proof : mathematical epiphanies /
av: Benson, Donald C.
Publicerad: (1999)

Applied Proof Theory: Proof Interpretations and their use in Mathematics /
Publicerad: (2008)

Applied proof theory: Proof interpretations and their use in mathematics/
av: Kohlenbach,Ulrich
Publicerad: (2008)

Applied proof theory proof interpretations and their use in mathematics
av: Kohlenbach. U.
Publicerad: (2008)