Current trends in programming methodology, vol.2: Program...

Main
Computers - Computer Science
Current trends in programming...

Current trends in programming methodology, vol.2: Program validation

Yeh, Raymond Tzuu-yau (eds.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Computers - Computer Science

Anno:

1977

Casa editrice:

Prentice-Hall

Lingua:

english

Pagine:

322

ISBN 10:

0131957198

ISBN 13:

9780131957190

File:

DJVU, 3.87 MB

IPFS:

,

english, 1977

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

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

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

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

Nissim Francez — Program Verification

Carroll Morgan, Annabelle McIver — Programming methodology

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

Dyer M. — The Cleanroom approach to quality software development

Glenford J. Myers — Software Reliability - Principles and Practices

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

R. D. Tennent — Specifying Software: A Hands-On Introduction

R. D. Tennent — Specifying Software

Antonio Pizzarello — Development and Maintenance of Large Software Systems

Zohar Manna — Lectures on the logic of computer programming

Mclver A., Morgan C. (Eds.) — Programming Methodology

Isil Dillig,Jens Palsberg (eds.) — Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

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

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.) — Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

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

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

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) — FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

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

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

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

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

Termini più frequenti