Cover Image

Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA /

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-t...

Full description

Bibliographic Details
Main Author:	Smith, Scott F.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Talcott, Carolyn L.
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US : Imprint: Springer, 2000.
Series:	IFIP advances in information and communication technology ; 49.
Subjects:	Computer science. Data structures (Computer science) Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 /
by: Jacobs, Bart
Published: (2002)

Distributed and Parallel Embedded Systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schlo€ Eringerfeld, Germany /
by: Rammig, Franz J.
Published: (1999)

Concurrency in Dependable Computing /
by: Ezhilchelvan, P. (Paul)
Published: (2002)

Mac OS X Lion efficace /
by: Gete, Guillaume
Published: (2012)

Configuration et dépannage de PC, 4 edition /
by: Lange, Sophie
Published: (2012)

Computational Aspects of Complex Analysis : Proceedings of the NATO Advanced Study Institute held at Braunlage, Harz, Germany, July 26 - August 6, 1982 /
by: Werner, H.
Published: (1983)

Parallel and Distributed Information Systems /
by: Naughton, Jeffrey F.
Published: (1998)

C++ : Object-Oriented Data Structures /
by: Sengupta, Saumyendra
Published: (1994)

Data Base Administration /
by: Weldon, Jay-Louise
Published: (1981)

Advances in Data Base Theory : Volume 2 /
by: Gallaire, Hervé
Published: (1984)

Advances in Data Base Theory : Volume 1 /
by: Gallaire, Hervé
Published: (1981)

Formal Methods for Distributed System Development : FORTE /
by: Bolognesi, Tommaso
Published: (2000)

The Application of Mathematics in Industry /
by: Anderssen, R. S.
Published: (1982)

Numerical Solutions of the N-Body Problem /
by: Marciniak, Andrzej
Published: (1985)

Computational Techniques in Quantum Chemistry and Molecular Physics : Proceedings of the NATO Advanced Study Institute held at Ramsau, Germany, 4-21 September, 1974 /
by: Diercksen, G. H. F.
Published: (1975)

Mechanics /
by: Chester, W.
Published: (1980)

Combinatorial Complexes : a Mathematical Theory of Algorithms /
by: Sellers, Peter H.
Published: (1979)

Scientific Data Analysis : an Introduction to Overdetermined Systems /
by: Branham, Richard L.
Published: (1990)

Domain Modeling-Based Software Engineering : a Formal Approach /
by: Lu, Ruqian
Published: (2000)

The Unnormalized Relational Data Model : For Office Form Processor Design /
by: Kitagawa, Hiroyuki
Published: (1989)

Advances in Cryptology - EUROCRYPT '94 : Workshop on the Theory and Application of Cryptographic Techniques, Perugia, Italy, May 9-12, 1994. Proceedings /
by: DeSantis, Alfredo
Published: (1995)

Java: Data Structures and Programming /
by: Li, Liwu
Published: (1998)

Graph Data Model : and Its Data Language /
by: Kunii, Hideko S.
Published: (1990)

Scalable High Performance Computing for Knowledge Discovery and Data Mining /
by: Stolorz, Paul
Published: (1998)

Bibliography on Abstract Data Types /
by: Kutzler, B.
Published: (1983)

Open Multithreaded Transactions : A Transaction Model for Concurrent Object-Oriented Programming /
by: Kienzle, Jörg
Published: (2003)

Advances in computing science--ASIAN '99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings /
Published: (1999)

Proceedings /

Mining Very Large Databases with Parallel Processing /
by: Freitas, Alex A.
Published: (2000)

SN Video coding and web development.
Published: (2020)

Computer architectures for spatially distributed data /
Published: (1985)

Data structures the fun way : from binary search to quadtrees in 100 cups of coffee /
by: Kubica, Jeremy
Published: (2022)

Developments in Reliable Computing /
by: Csendes, Tibor
Published: (1999)

The Object-Z Specification Language /
by: Smith, Graeme
Published: (2000)

Structures in concurrency theory : proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995 /
Published: (1995)

Object Orientation with Parallelism and Persistence /
by: Freitag, Burkhard
Published: (1996)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)

Algorithms and data structures for massive datasets.
Published: (2022)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)