Formal Methods for Distributed System Development

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, Tommaso Bolognesi, Diego Latella, International Federation for Information Processing

Datum izdaje: 30. september 2000

ISBN: 9780792379683

IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, Bart Jacobs, Arend Rensink

Datum izdaje: 2002

ISBN: 9780792376835

IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, International Federation for Information Processing

Datum izdaje: 1999

ISBN: 9780792384298

Elie Najm, Jean-Bernard Stefani, International Federation for Information Processing, International Workshop on Formal Methods for Open Object-based Distributed Systems

Datum izdaje: 1997

ISBN: 9780412797705

International Conference on Formal Methods for Open Object-Based Distributed Systems, Roberto Gorrieri, Heike Wehrheim

Datum izdaje: 26. julij 2006

ISBN: 9783540348931

IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems, Scott F. Smith, Carolyn L. Talcott, International Federation for Information Processing

Datum izdaje: 2000

ISBN: 9780792379232