Holdings: Formal Methods for Open Object-Based Distributed Systems

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bonsangue, Marcello M. (Editor, http://id.loc.gov/vocabulary/relators/edt), Johnsen, Einar Broch. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:	1st ed. 2007.
Series:	Programming and Software Engineering ; 4468
Subjects:	Programming languages (Electronic computers). Computer communication systems. Computer programming. Software engineering. Operating systems (Computers). Computer logic. Programming Languages, Compilers, Interpreters. Computer Communication Networks. Programming Techniques. Software Engineering. Operating Systems. Logics and Meanings of Programs.
Online Access:	https://doi.org/10.1007/978-3-540-72952-5
Tags:	Add Tag No Tags, Be the first to tag this record!