Muutke küpsiste eelistusi

E-raamat: Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings

Edited by , Edited by
Teised raamatud teemal:
  • Formaat - EPUB+DRM
  • Hind: 67,91 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, ProceedingsSuurem pilt
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019.





The 15 full and 3 short papers presented were carefully reviewed and selected from 42 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
Psi-Calculi Revisited: Connectivity and Compositionality.- Squeezing
Streams and Composition of Self-Stabilizing Algorithms.- Parametric Updates
in Parametric Timed Automata.- Parametric Statistical Model Checking of UAV
Flight plan.- Only Connect, Securely.- Output-sensitive Information Flow
Analysis.- Component-aware Input-Output Conformance.- Declarative
Choreographies and Liveness.- Model checking HPnGs in Multiple Dimensions:
Representing State Sets as Convex Polytopes.- Causal-Consistent Replay
Debugging for Message Passing Programs.- Correct and Efficient Antichain
Algorithms for Refinement Checking.- Towards Verified Blockchain
Architectures: A Case Study on Interactive Architecture Verification.-
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed
Programs.- Encapsulation and Sharing in Dynamic Software Architectures: The
Hypercell Framework.- Decentralized Real-Time Safety Verification for
Distributed Cyber-Physical Systems.- On Certifying DistributedAlgorithms:
Problem of Local Correctness.- On a Higher-order Calculus of Computational
Fields.- Semantically Sound Analysis of Content Security Policies. 
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97830302175946e.html
Märksõnad: