Muutke küpsiste eelistusi

E-raamat: Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Edited by
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * 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.
Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, 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 revised selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2018, held in Thessaloniki, Greece, in June 2018.





The 12 full papers presented in this volume were carefully reviewed and selected from 21 submissions. They deal with rewriting, a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction, and its applications. 
Benchmarking Implementations of Term Rewriting and Pattern Matching in
Algebraic, Functional, and Object-Oriented Languages - The 4th Rewrite
Engines Competition.- Automaton and Equation based Approximations for
Reachability Analysis.- Multiparadigm Programming in Maude.- MUnit: A Unit
testing framework for Maude.- Parameterized Programming for Compositional
System Specification.- Specification and Verification of Data-aware BPMN
Processes using Rewriting Modulo SMT.- Associative Unification and Symbolic
Reasoning Modulo Associativity in Maude.- Proving Structural Properties of
Sequent Systems in Rewriting Logic.- Formal Modeling and Analysis of the
Walter Transactional Data Store.- Extending Timbuk to Verify Functional
Programs.- Generalized Rewrite Theories and Coherence Completion.- Proving
Ground Confluence of Equational Specifications Modulo Axioms.- Uniform Strong
Normalization for Multi-Discipline Calculi.- Real-time Rewriting Logic
Semantics for Spatial Concurrent ConstraintProgramming.- Approximating any
Logic Program by a CS-Program.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97833199984042e.html
Märksõnad: