Inbunden, Engelska, 2000
Formal Methods for Open Object-Based Distributed Systems IV
Av International Conference on Formal Metho, Scott F. Smith, Carolyn L. Talcott
2250 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.