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

AvInternational Conference on Formal Metho,Scott F. Smith

Inbunden, Engelska, 2000

2 164 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

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

Trust Management II

Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen

Inbunden

1 096 kr

Hoppa över listan

Du kanske också är intresserad av

  • Nyhet

Sot

Sara Strömberg

Storpocket

109 kr139 kr