Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Bibliographic Details
Main Author: Najm, Elie
Other Authors: Nestmann, Uwe, Stevens, Perdita
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01401nmm a2200373 u 4500
001 EB000286640
003 EBX01000000000000000052324
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540204916 
020 |a 978-3-540-20491-6 
100 1 |a Najm, Elie 
245 0 0 |a Formal Methods for Open Object-Based Distributed Systems  |h Elektronische Ressource  |b 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings  |c by Elie Najm, Uwe Nestmann, Perdita Stevens 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2003 
300 |b v. digital 
700 1 |a Nestmann, Uwe 
700 1 |a Stevens, Perdita 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 4 0 |u http://dx.doi.org/10.1007/b94120?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Computer Communication Networks 
650 4 |a Computer science 
650 4 |a Logic design 
650 4 |a Operating systems (Computers) 
650 4 |a Software engineering 
650 4 |a Computer Science 
650 4 |a Computer Communication Networks 
650 4 |a Logics and Meanings of Programs 
650 4 |a Operating Systems 
650 4 |a Programming Languages, Compilers, Interpreters 
650 4 |a Programming Techniques 
650 4 |a Software Engineering