Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods

Name: Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods
SKU: 9780792379232
Price: 182.70 EUR
Availability: SoldOut

Scott F. Smith, Carolyn L. Talcott

182,70 €

Kluwer Academic Publishers
Sivumäärä: 422 sivua
Asu: Kovakantinen kirja
Painos: 2000 ed.
Julkaisuvuosi: 2000, 31.08.2000 (lisätietoa)
Kieli: Englanti
Tuotesarja: IFIP Advances in Information and Communication Technology 49

This volume discusses the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. Papers included within focus on the following specific technologies: components; mobile code; Java; the Unified Modelling Language (UML); refinement of specifications; types and subtyping; and temporal and probabilistic systems.

Loppuunmyyty

Haluan myydä tämän tuotteen

Formal Methods for Open Object-Based Distributed Systems IV - IFIP TC6/WG6.1. Fourth International Conference on Formal Methods

Näytä kaikki tuotetiedot

ISBN:

9780792379232

Aihealue:

Ulkomaiset kirjat » Computers » Programming » Object Oriented