Programming Methodology: 4th Informatik Symposium, IBM...

Main
Education Studies & Teaching - International Conferences and Symposiums
Programming Methodology: 4th Informatik...

Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974

H. D. Mills (auth.), Prof. Dr. Clemens E. Hackl (eds.)

0 / 0

এই বইটি আপনার কতটা পছন্দ?

ফাইলের মান কিরকম?

মান নির্ণয়ের জন্য বইটি ডাউনলোড করুন

ডাউনলোড করা ফাইলগুলির মান কিরকম?

ক্যাটাগোরিগুলো:

Education Studies & Teaching - International Conferences and Symposiums

সাল:

1975

সংস্করণ:

1

প্রকাশক:

Springer-Verlag Berlin Heidelberg

ভাষা:

english

পৃষ্ঠা:

502

ISBN 10:

3540071318

ISBN 13:

9783540071310

বইয়ের সিরিজ:

Lecture Notes in Computer Science 23

ফাইল:

DJVU, 3.53 MB

IPFS:

,

english, 1975

কপিরাইট ধারকের অভিযোগের কারণে এই বইটির ডাউনলোড অনুপলব্ধ

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

আপনি আগ্রহী হতে পারেন

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

Edward Yourdon — Classics in Software Engineering

Edward Yourdon — Writings of the Revolution: Selected Readings on Software Engineering

Seymour V. Pollack, Theodor D. Sterling — A Guide to PL-1 and Structured Programming

Raymond T. Yeh, K. Mani Chandy, Donald E. Knuth, Edsger W. Dijkstra — Current trends in programming methodology, vol.1: Software specification and design

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

Frank G. Pagan — Formal specification of programming languages: a panoramic primer

Hoare Charles Antony Richard, Shepherdson J.C. (eds.) — Mathematical logic and programming languages

David Gries (ed.) — Programming Methodology: A Collection of Articles by Members of IFIP WG2.3

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

Carlo Ghezzi, Mehdi Jazayeri — Programming Language Concepts

Glenford J. Myers — Software Reliability - Principles and Practices

Edward Yourdon — Classics in software engineering

Edward Yourdon — Writings of the revolution: selected readings on software engineering

Charles Rich; Richard C. Waters (Editors) — Readings in Artificial Intelligence and Software Engineering

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

Hongji Yang, Martin Ward — Successful Evolution of Software Systems

Manfred Broy — Program design calculi

Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Wolfgang Ahrendt • Bernhard Beckert • Richard Bubel • Einar Broch Johnsen (Eds.) — The Logic of Software. A Tasting Menu of Formal Methods

Władysław M. Turski (auth.), Hans Wössner (eds.) — Programmiersprachen und Programmentwicklung: 7. Fachtagung veranstaltet vom Fachausschuß 2 der GI München, 9./10. März 1982

Mads Dam, Frank Jensen (auth.), Bernard Robinet, Reinhard Wilhelm (eds.) — ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of Germany March 17–19, 1986 Proceedings

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.) — Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

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

George J. Milne (auth.), Miriam Leeser, Geoffrey Brown (eds.) — Hardware Specification, Verification and Synthesis: Mathematical Aspects: Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

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

প্রায়শই ব্যবহৃত পরিভাষা