Formal Methods for Open Object-based Distributed Systems:...

Main
Engineering
Formal Methods for Open Object-based...

Formal Methods for Open Object-based Distributed Systems: Volume 2

Howard Bowman, John Derrick (eds.)

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Categorias:

Ano:

1997

Editora:

Springer US

Idioma:

english

Páginas:

466

ISBN 10:

3053193353

ISBN 13:

9783053193356

Série:

IFIP Advances in Information and Communication Technology

Arquivo:

PDF, 42.87 MB

IPFS:

,

english, 1997

Este livro não está disponível para download devido à reclamação do detentor dos direitos autorais

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

— Pravin Lal

Você pode estar interessado em

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

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

Nierstrasz, Sichritzis — Object-Oriented Software Composition

Gul Agha, Peter Wegner, Akinori Yonezawa — Research Directions in Concurrent Object-Oriented Programming

K.R. Parker and G.A. Rose (Eds.) — Formal Description Techniques, IV. Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19–22 November 1991

H. Kilov, William Harvey — Object-Oriented Behavioral Specifications

Linington, Peter F.; Zoran Milosevic; Akira Tanaka; Antonio Vallecillo — Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing

Peter F. Linington, Zoran Milosevic, Akira Tanaka, Antonio Vallecillo — Building Enterprise Systems with ODP: An Introduction to Open Distributed Processing

Kevin Lano BSc, MSc, PhD (auth.) — Formal Object-Oriented Development

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.S.M. Zedan, Antonio Cau — Object-Oriented Technology and Computing Systems Re-Engineering

B. Buchberger (auth.), Dr. Alfonso Miola, Dr. Marco Temperini (eds.) — Advances in the Design of Symbolic Computation Systems

Bran Selic (auth.), Heinrich Hussmann (eds.) — Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 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

Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.) — ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

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

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

Luc Steels (auth.), Mario Tokoro, Remo Pareschi (eds.) — Object-Oriented Programming: 8th European Conference, ECOOP '94 Bologna, Italy, July 4–8, 1994 Proceedings

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

Dave Thomas (auth.), Mario Tokoro, Remo Pareschi (eds.) — ECOOP’95 — Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7–11, 1995

Gert Smolka (auth.), Chris Hankin (eds.) — Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Kent Beck (auth.), Egidio Astesiano (eds.) — Fundamental Approaches to Software Engineering: First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 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

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

Frases chave