Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology - International Conference on Formal Methods for Open Object-based Distributed Systems - Bøger - Kluwer Academic Publishers - 9780792384298 - 28. februar 1999
Ved uoverensstemmelse mellem cover og titel gælder titel

Formal Methods for Open Object-based Distributed Systems - Ifip Advances in Information and Communication Technology

Pris
DKK 1.689

Bestilles fra fjernlager

Forventes klar til forsendelse 9. - 15. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller

Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.


448 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 28. februar 1999
ISBN13 9780792384298
Forlag Kluwer Academic Publishers
Antal sider 448
Mål 156 × 234 × 25 mm   ·   861 g
Sprog Engelsk  
Klipper/redaktør Ciancarini, Paolo
Klipper/redaktør Fantechi, Alessandro
Klipper/redaktør Gorrieri, Roberto

Mere med International Conference on Formal Methods for Open Object-based Distributed Systems

Vis alle