Atjaunināt sīkdatņu piekrišanu

Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers [Mīkstie vāki]

Edited by
  • Formāts: Paperback / softback, 135 pages, height x width: 235x155 mm, 2 Illustrations, color; 16 Illustrations, black and white; IX, 135 p. 18 illus., 2 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 15587
  • Izdošanas datums: 16-May-2025
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031889290
  • ISBN-13: 9783031889295
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 100,46 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 118,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected PapersPalielināt
  • Formāts: Paperback / softback, 135 pages, height x width: 235x155 mm, 2 Illustrations, color; 16 Illustrations, black and white; IX, 135 p. 18 illus., 2 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 15587
  • Izdošanas datums: 16-May-2025
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 3031889290
  • ISBN-13: 9783031889295
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031889295.html
Keywords:

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.

The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability.

.- Invited Papers.


.- Finite Approximations of the Common Meadow of Rational Numbers.


.- Some Uses of Modal Semirings.


.- Contributed Papers.


.- Bialgebraic Representation of Coordination Frameworks.


.- Topological Inquiry in Abstract Model Theory.


.- The Institution of Many-Logics Modal Logic.


.- Reconciling Quantum Theory and Process Equivalence via Physically
Admissible Schedulers.