Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic-Based Program Synthesis and Transformation de Emanuele de Angelis

Logic-Based Program Synthesis and Transformation: Lecture Notes in Computer Science, cartea 13290

Editat de Emanuele de Angelis, Wim Vanhoof
en Limba Engleză Paperback – 13 mar 2022
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*
The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions. Additionally, the book also contains 1 full-length invited talk.
*Conference was held as a hybrid event due to the COVID-19 pandemic.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 34389 lei

Preț vechi: 42986 lei
-20%

Puncte Express: 516

Carte tipărită la comandă

Livrare economică 09-23 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783030988685
ISBN-10: 3030988686
Pagini: 188
Ilustrații: IX, 177 p. 60 illus., 26 illus. in color.
Dimensiuni: 155 x 235 x 11 mm
Greutate: 0.3 kg
Ediția:1st edition 2022
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Cuprins

String Abstract Domains and Their Combination. - Data Type Inference for Logic Programming.- Automating the Functional Correspondence between Higher-Order Evaluators and Abstract Machines.- S-semantics - an Example.- Disjunctive Delimited Control.- Towards Substructural Property-Based Testing.- The Next 700 Program Transformers.- Representation and Processing of Instantaneous and Durative Temporal Phenomena.- Pre x-Based Tracing in Message-Passing Concurrency.