Mathematical logic and programming languages

Main
Mathematics
Mathematical logic and programming...

Mathematical logic and programming languages

Hoare Charles Antony Richard, Shepherdson J.C. (eds.)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Tahun:

1985

Edisi:

Nachdr.

Penerbit:

Prentice-Hall

Bahasa:

english

Halaman:

184

ISBN 10:

0135614651

ISBN 13:

9780135614655

Nama seri:

Prentice-Hall international series in computer science

File:

DJVU, 1.61 MB

IPFS:

,

english, 1985

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard Hoare — Structured programming

C. A. R. Hoare — Communicating sequential processes

C. A. R. Hoare, C. B. Jones — Essays in Computing Science (Prentice-Hall International Series in Computer Science)

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Nissim Francez — Program Verification

Jan van Leeuwen (ed.) — Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Ed; Eckman, Ed Dold — Symposium on Semantics of Algorithmic Languages

L.J.M. Claesen, M.J.C. Gordon — Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1

T. F. Melham — Higher Order Logic and Hardware Verification

Melham T.F. — Higher Order Logic and Hardware Verification

Walter A. Carnielli, Itala M. L. D'Ottaviano, Walter A. Carnielli (ed.) — Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD (auth.), Maurice Nivat, Charles Rattray BSc, MSc, FIMA, FBCS, C.Eng., C.Math., Teodor Rus PhD, Giuseppe Scollo PhD (eds.) — Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, J. Misra, (eds.) — Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

Manfred Broy — Program design calculi

Gerard O’Regan — Mathematics in Computing

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.) — Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Dines Bjørner (auth.), J. Díaz, F. Orejas (eds.) — TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Armand Puccetti (auth.), Armand Puccetti (eds.) — The Programming and Proof System ATES: Advanced Techniques Integration into Efficient Scientific Software

Krzysztof R. Apt (auth.), Bernhard Möller (eds.) — Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings

Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.) — Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (eds.) — Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings

Constance L. Heitmeyer (auth.), Klaus Schneider, Jens Brandt (eds.) — Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

Carroll Morgan (auth.), Manfred Broy (eds.) — Program Design Calculi

Ulrich Berger, Helmut Schwichtenberg (eds.) — Computational Logic

Chandani Kaul — Accessible Introduction to Discrete Mathematics: History, Theory, Logic, and Applications Guide

Istilah kunci