Linked Data Explorerhttp://worldcat.org/entity/work/id/23662023
Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated 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-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/formele_talen
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/computing_methodologies
- http://id.loc.gov/authorities/subjects/sh2008108548
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/computer_science
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/gedistribueerde_gegevensverwerking
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/osi
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/programming_languages_compilers_interpreters
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/data_structures_computer_science
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_oriented_programming_computer_science_congresses_congresses
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_oriented_programming_computer_science_congresses
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_georienteerd_programmeren
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing_distributed_processing_congresses_congresses
- http://id.worldcat.org/fast/906987
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing_congresses_distributed_processing
- http://id.worldcat.org/fast/1042804
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/processor_architectures
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/data_structures_cryptology_and_information_theory
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/electronic_data_processing_distributed_processing
- http://experiment.worldcat.org/entity/work/data/23662023#Topic/object_oriented_programming_computer_science
- http://id.loc.gov/authorities/subjects/sh2008102927
http://schema.org/contributor
- http://viaf.org/viaf/133324811
- http://worldcat.org/entity/person/id/2634190534
- http://worldcat.org/entity/person/id/2642380770
- http://viaf.org/viaf/130178836
- http://experiment.worldcat.org/entity/work/data/23662023#Meeting/international_conference_on_formal_methods_for_open_object_based_distributed_systems_fmoods_3_1999_florence
- http://experiment.worldcat.org/entity/work/data/23662023#Organization/international_federation_for_information_processing_technical_committee_6
- http://id.loc.gov/authorities/names/n80009420
- http://worldcat.org/entity/person/id/2628632593
- http://worldcat.org/entity/person/id/2674554173
- http://experiment.worldcat.org/entity/work/data/23662023#Meeting/ifip_tc6_wg6_1_international_conference_on_formal_methods_for_open_object_based_distributed_systems_fmoods_3_1999_02_15_18_florence
- http://experiment.worldcat.org/entity/work/data/23662023#Organization/international_federation_for_information_processing_wg_6_1
- http://viaf.org/viaf/124065763
http://schema.org/description
- "Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated 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-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government."@en
http://schema.org/name
- "Formal Methods for Open Object-Based Distributed Systems IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy"
- "Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy"@en
- "Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 third international conference on formal methods for open object-based distributed systems (FMOODS), February 15-18, 1999, Florence, Italy"
- "Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy"@en
- "Formal methods for open object-based distributed systems"
- "Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy"@en
- "Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy"