Inbunden, Engelska, 2000
Formal Methods for Open Object-Based Distributed Systems IV
IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
Av International Conference on Formal Metho, Scott F. Smith, Carolyn L. Talcott
Del i serien IFIP Advances in Information and Communication Technology
2216 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2000-08-31
- Mått: 155 x 235 x 24 mm
- Vikt: 776 g
- Format: Inbunden
- Språk: Engelska
- Serie: IFIP Advances in Information and Communication Technology
- Antal sidor: 422
- Upplaga: 2000
- Förlag: Kluwer Academic Publishers
- ISBN: 9780792379232
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.