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

2 210 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, 2008

1 108 kr

Hoppa över listan

Du kanske också är intresserad av

  • -22%
Del 2

Snedsteget

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(9)

69 kr89 kr

  • -30%

Mina vänner

Fredrik Backman

Pocket, 2026

2,0 utav 5 stjärnor. Totalt antal röster:(1)

69 kr99 kr

  • 4 för 3
Del 1

Den femte dagen

Åsa Hellberg

Pocket, 2026

4,1 utav 5 stjärnor. Totalt antal röster:(17)

99 kr

  • -22%
Del 1

Spelet

Elle Kennedy

Pocket, 2024

4,4 utav 5 stjärnor. Totalt antal röster:(12)

69 kr89 kr