Programming methodology

Main
Computers - Programming
Programming methodology

Programming methodology

Carroll Morgan, Annabelle McIver

0 / 4.5

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

Computers - Programming

年:

2003

出版商:

Springer

語言:

english

頁數:

456

ISBN 10:

1441929649

ISBN 13:

9781441929648

系列:

Monographs in computer science

文件:

DJVU, 3.55 MB

IPFS:

,

english, 2003

下載 (djvu, 3.55 MB)

轉換進行中

轉換為失敗

你可能感興趣

Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin — Formal methods and models for system design: a system level perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.) — Formal Methods and Models for System Design: A System Level Perspective

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

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

Tiziana Margaria;Bernhard Steffen — Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Barrett, Clark;Davies, Misty;Kahsai, Temesghen — NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.) — Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Michal Young (auth.), Mauro Pezzè (eds.) — Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings

Doron Peled (auth.), Rajeev Alur, Doron A. Peled (eds.) — Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) — Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

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

Mathai Joseph (auth.), John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.) — FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Manuvir Das (auth.), Thomas Ball, Robert B. Jones (eds.) — Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Zhou Chaochen (auth.), Zhiming Liu, Jifeng He (eds.) — Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. 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

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.) — FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

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

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

José Luiz Fiadeiro & Paola Inverardi — LNCS 4961 - Fundamental Approaches to Software Engineering (Frontmatter Pages)

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.) — Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Michael Carl Tschantz, Jeannette M. Wing (auth.), Ana Cavalcanti, Dennis R. Dams (eds.) — FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

Kokichi Futatsugi (auth.), Jin Song Dong, Huibiao Zhu (eds.) — Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

Yongxin Zhao, He Jifeng (auth.), Shengchao Qin, Zongyan Qiu (eds.) — Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.) — Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.) — LNCS 8051 - Theories of Programming and Formal Methods

Carroll C. Morgan (auth.), Lindsay Groves, Jing Sun (eds.) — Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings

最常見的術語