TAPSOFT '87: Proceedings of the International' Joint...

Main
Computers - Programming
TAPSOFT '87: Proceedings of the...

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

Ingo Wegener (auth.), Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari (eds.)

0 / 0

როგორ მოგეწონათ ეს წიგნი?

როგორი ხარისხისაა ეს ფაილი?

ჩატვირთეთ, ხარისხის შესაფასებლად

როგორი ხარისხისაა ჩატვირთული ფაილი?

კატეგორია:

Computers - Programming

წელი:

1987

გამოცემა:

1

გამომცემლობა:

Springer-Verlag Berlin Heidelberg

ენა:

english

გვერდები:

294

ISBN 10:

3540176608

ISBN 13:

9783540176602

სერია:

Lecture Notes in Computer Science 249

ფაილი:

PDF, 16.10 MB

IPFS:

,

english, 1987

ონლაინ წაკითხვა

ხორციელდება კონვერტაციის -ში

კონვერტაციის -ში ვერ მოხერხდა

შესაძლოა დაგაინტერესოთ

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

Martin Wirsing & Dirk Pattinson && Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

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

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

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

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

Plotkin G., Stirling C.P., Tofte M. (eds.) — Proof, Language, and Interaction: Essays in Honour of Robin Milner

Jean-Yves Girard (auth.), Bengt Jonsson, Joachim Parrow (eds.) — CONCUR '94: Concurrency Theory: 5th International Conference Uppsala, Sweden, August 22–25, 1994 Proceedings

J.A. Bergstra, A. Ponse, S.A. Smolka — Handbook of Process Algebra

E. -R. Olderog — Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

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

Geoffrey Burn (auth.), Geoffrey Burn BSc (Hons), PhD, DIC, Simon Gay BA (Hons), DipCompSci, Mark Ryan MA, PhD (eds.) — Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Marta Zofia Kwiatkowska BSc, MSc, PhD, Michael William Shields BA, PhD, Richard Monro Thomas MA, MSc, DPhil (auth.) — Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

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

Martin Wirsing, Dirk Pattinson & Rolf Hennicker — LNCS 2755 - Recent Trends in Algebraic Development Techniques (Frontmatter Pages)

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.) — Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Eike Best (auth.), J. C. M. Baeten, J. W. Klop (eds.) — CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings

J. W. de Bakker, E. P. de Vink (auth.), S. Abramsky, T. S. E. Maibaum (eds.) — TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

John V. Guttag (auth.), M. -C. Gaudel, J. -P. Jouannaud (eds.) — TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE Orsay, France, April 13–17, 1993 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

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

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)

საკვანძო ფრაზები