Program Verification

Main
Computers - Computer Science
Program Verification

Program Verification

Nissim Francez

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Computers - Computer Science

Yıl:

1992

Yayımcı:

Addison-Wesley

Dil:

english

Sayfalar:

89

ISBN 10:

0201416085

ISBN 13:

9780201416084

Dosya:

PDF, 7.67 MB

IPFS:

,

english, 1992

İndir (pdf, 7.67 MB)

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

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

Hartmut Ehrig, Bernd Mahr (auth.), Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.) — TAPSOFT '95: Theory and Practice of Software Development: 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22–26, 1995 Proceedings

McFarland M.C. — Formal Verification of Sequential Hardware: A Tutorial

John C. Reynolds — The Craft of Programming (Prentice-Hall International Series in Computer Science)

Yeh, Raymond Tzuu-yau (eds.) — Current trends in programming methodology, vol.2: Program validation

Edsger W. Dijkstra, Wim H. J. Feijen — A Method of Programming

Yves Deville — Logic Programming: Systematic Program Development (International Series in Logic Programming)

Geoff Dromey, or:, R. G. Dromey — Program derivation: development of programs from specifications

Joseph A. Goguen, Grant Malcolm — Algebraic Semantics of Imperative Programs

Joseph Goguen; Grant Malcolm — Algebraic semantics of imperative programs

K. Rustan, M. Leino — Program Proofs

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

Willem-Paul de Roever, Kai Engelhardt — Data Refinement: Model-Oriented Proof Methods and their Comparison

de Roever W.-P., Engelhardt K. — Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers — Concurrency Verification: Introduction to Compositional and Non-compositional Methods

R. D. Tennent — Specifying Software

Zohar Manna — Lectures on the logic of computer programming

Krzysztof R. Apt, Ernst-Rüdiger Olderog — Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog — Verification of sequential and concurrent programs

Wolfgang Schreiner — Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

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

Corrado Böhm (auth.), Michel Bidoit, Max Dauchet (eds.) — TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 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

Desconocido — Verified Software Theories Tools Experiments 1 Vstte 2005 4171 2008 3540691472 O 565s

Klaus Schneider & Jens Brandt — LNCS 4732 - Theorem Proving in Higher Order Logics (Frontmatter Pages)

Thomas Ball, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer, Julien Vanegue (auth.), Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani (eds.) — Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

Finn Jensen, Brian Mayoh, Karen Moller (eds.) — Proceedings from 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979

Anahtar ifadeler