Formal Methods for Distributed Processing

Formal Methods for Distributed Processing

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects....
fra 649,-
Tilgjengelig i 1 butikker

Produktinformasjon

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

Spesifikasjon

Produkt
ProduktnavnFormal Methods for Distributed Processing
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 649,- den billigste prisen for Formal Methods for Distributed Processing blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.

Machine Learning ParadigmsApplications of Neuro Symbolic Artificial IntelligencePattern Recognition and Machine Learning for Self Study IHamiltonian Monte Carlo Methods in Machine Learning
Computational Intelligence in Security for Information SystemsSoft Computing Models in Industrial and Environmental ApplicationsJunk Values SignedApplied Imagery Pattern Recognition
Wireless and Mobile Device SecurityUnderstanding Pattern AnalysisDigital etikkAdvanced Information Networking and Applications
Linux Kernel ProgrammingBlockchain Technology and ApplicationsAdvances in IoT and Security with Computational IntelligenceSoft Computing Applications
Evolutionary Computation in Combinatorial OptimizationLinux Security CookbookProceedings of the 12th International Symposium on Computer Science in Sport IACSS 2019Architecting a Framework for Edge AI Functional and Non functional Requirements