Abstract Software Specifications: 1979 Copenhagen Winter...

Main
Computers - Programming
Abstract Software Specifications: 1979...

Abstract Software Specifications: 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

Heinz Zemanek (auth.), Dines Bjøorner (eds.)

0 / 0

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

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

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

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

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

Computers - Programming

সাল:

1980

সংস্করণ:

1

প্রকাশক:

Springer-Verlag Berlin Heidelberg

ভাষা:

english

পৃষ্ঠা:

572

ISBN 10:

3540381368

ISBN 13:

9783540381365

বইয়ের সিরিজ:

Lecture Notes in Computer Science 86

ফাইল:

PDF, 10.72 MB

IPFS:

,

english, 1980

অনলাইনে পড়া

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

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

R. J. R. Back, H. Mannila (auth.), Mogens Nielsen, Erik Meineche Schmidt (eds.) — Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Carl A. Gunter, Peter D. Mosses, Dana S. Scott — Semantic Domains and Denotational Semantics

Kenneth Slonneger, Barry Kurtz — Formal Syntax And Semantics Of Programming Languages

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.) — Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Slonneger K. — Syntax and semantics of programming languages

Raymond T. Yeh (eds.) — Current trends in programming methodology, vol.4: Data structuring

Wikstrom Ake — Functional Programming Using Standard ML

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Kenneth Slonneger, Barry L. Kurtz — Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Barbara Liskov, John V. Guttag — Abstraction and specification in program development

Meertens, Lambert G (eds.) — Program specification and transformation : proceedings of the IFIP TC2 / WG 2.1 Working Conference on Program Specification and Transformation, Bad Tölz, FRG, 15-17 Apr., 1986

Lloyd Allison — A Practical Introduction to Denotational Semantics

J. M. Spivey — Understanding Z: A Specification Language and its Formal Semantics

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

H. Reichel — Structural Induction on Partial Algebras, II: Introduction to Theory and Application to Partial Algebras

Horst Reichel — Initial Computability, Algebraic Specifications, and Partial Algebras

Andrzej Blikle (auth.) — MetaSoft Primer: Towards a Metalanguage for Applied Denotational Semantics

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

Michel Bidoit (auth.), D. Sannella, A. Tarlecki (eds.) — Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

Dines Bjorner, C.A.R. Hoare, Hans Langmaack — Formal Methods in Software Development

Michael Jackson (auth.), S. Prehn, W. J. Toetenel (eds.) — VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 1991 Proceedings

John V. Guttag, James J. Horning (auth.), Søren Prehn, Hans Toetenel (eds.) — VDM '91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout, The Netherlands, October 21–25, 1991 Proceedings

Krzysztof R. Apt, Sandro Etalle (auth.), Andrzej M. Borzyszkowski, Stefan Sokołowski (eds.) — Mathematical Foundations of Computer Science 1993: 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.) — Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.) — Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

Marie-Claude Gaudel, Gilles Bernot, Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner — Algebraic Foundations of Systems Specification (IFIP State-of-the-Art Reports)

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