Coordination Models and Languages: Lecture Notes in Computer Science, cartea 12717
Editat de Ferruccio Damiani, Ornela Dardhaen Limba Engleză Paperback – 6 iun 2021
The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference.
Due to the Corona pandemic this event was held virtually.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 733.68 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 449.81 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 850.42 lei - 20%
Preț: 386.08 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 620.33 lei - 20%
Preț: 620.33 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 558.53 lei - 20%
Preț: 435.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 633.70 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 675.83 lei - 20%
Preț: 678.21 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 560.93 lei - 20%
Preț: 556.96 lei - 20%
Preț: 313.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 15%
Preț: 558.12 lei - 20%
Preț: 563.29 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 20%
Preț: 562.49 lei - 15%
Preț: 672.87 lei - 20%
Preț: 571.88 lei - 20%
Preț: 478.59 lei - 20%
Preț: 984.64 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei - 20%
Preț: 313.87 lei - 20%
Preț: 314.86 lei - 20%
Preț: 793.92 lei - 18%
Preț: 945.44 lei
Preț: 323.17 lei
Preț vechi: 403.96 lei
-20%
Puncte Express: 485
Preț estimativ în valută:
57.15€ • 65.53$ • 49.39£
57.15€ • 65.53$ • 49.39£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783030781415
ISBN-10: 3030781410
Pagini: 320
Ilustrații: XVI, 301 p. 134 illus., 56 illus. in color.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3030781410
Pagini: 320
Ilustrații: XVI, 301 p. 134 illus., 56 illus. in color.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1st edition 2021
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Modeling and analyzing resource-sensitive actors: A tutorial introduction.- Manifestly Phased Communication via Shared Session Types.- Deconfined Global Types for Asynchronous Sessions.- Relating Functional and Imperative Session Types.- Safe Session-Based Asynchronous Coordination in Rust.- A Session Subtyping Tool.- Towards Probabilistic Session-Type Monitoring.- Java Typestate Checker.- Asynchronous Global Types in co-logic Programming.- Tuple-Based Coordination in Large-Scale Situated Systems.- A Theory of Automated Market Makers in DeFi.- ReGraDa: Reactive Graph Data.- The Structure of Concurrent Process Histories.- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator.- Microservice Dynamic Architecture-Level Deployment Orchestration.- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.