Recent Trends in Algebraic Development Techniques
Editat de Alexandre Madeira, Manuel A. Martinsen Limba Engleză Paperback – 22 oct 2023
Preț: 343.00 lei
Preț vechi: 428.75 lei
-20% Nou
Puncte Express: 515
Preț estimativ în valută:
60.70€ • 71.17$ • 53.30£
60.70€ • 71.17$ • 53.30£
Carte tipărită la comandă
Livrare economică 11-25 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031433443
ISBN-10: 3031433440
Pagini: 192
Ilustrații: IX, 179 p. 106 illus., 12 illus. in color.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st edition 2023
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031433440
Pagini: 192
Ilustrații: IX, 179 p. 106 illus., 12 illus. in color.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st edition 2023
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
Invited Talks.- Taming Distributed System Complexity through Formal Patterns.- Why Adjunctions Matter — a Functional Programmer Perspective.- Standard Contributions.- A Computability Perspective on (Verified Machine Learning.- A Presheaf Semantics for Quantifie Temporal Logics.- Shades of Iteration: from Elgot to Kleene.- Automated QoS-Aware Service Selection Based on Soft Constraints.- Runtime Composition Of Systems of Interacting Cyber-Physical Components.- SpeX: a rewriting-based formal specificatio environment.