• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Data och IT
      2. Systemvetenskap och AI

      Coordination Models and Languages

      24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings

      AvMaurice H. ter Beek,Marjan Sirjani

      Häftad, Engelska, 2022

      Del 13271 i serien Lecture Notes in Computer Science

      1 374 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development.

      Produktinformation

      • Utgivningsdatum:2022-07-06
      • Mått:155 x 235 x 15 mm
      • Vikt:394 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:241
      • Förlag:Springer International Publishing AG
      • ISBN:9783031081453

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programmeringsböcker inom Data och IT

      Innehållsförteckning

      • Formal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) .- Timed and Probabilistic Systems.- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.- A Sound Up-to-n; Bisimilarity for PCTL.- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP.- Towards Reinforcement Learning-based Aggregate Computing .- A Tool for Reasoning about Collective Systems.- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach.- Processes and Languages.- Formal Choreographic Languages.- A Model of Actors and Grey Failures.- Soft Concurrent Constraint Programming with Local Variables.- Runtime Veri cation and Monitor Synthesis.- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting.- A Monitoring Tool for the Linear-Time HML.- Microservices.- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs.
      Hoppa över listan

      Du kanske också är intresserad av

      Marjan Sirjani, Maurice H. ter Beek - Coordination Models and Languages, E-bok

      Coordination Models and Languages

      Marjan Sirjani, Maurice H. ter Beek

      E-bok
      2022

      1 780 kr

      Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp - Critical Systems: Formal Methods and Automated Verification, Häftad
      Del 9933

      Critical Systems: Formal Methods and Automated Verification

      Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp

      Häftad, 2016

      577 kr

      Laura Semini, Alessandro Fantechi, Maurice H. ter Beek - From Software Engineering to Formal Methods and Tools, and Back, E-bok

      From Software Engineering to Formal Methods and Tools, and Back

      Laura Semini, Alessandro Fantechi, Maurice H. ter Beek

      E-bok
      2019

      732 kr

      Mehdi Dastani, Marjan Sirjani - Fundamentals of Software Engineering, Häftad
      Del 10522

      Fundamentals of Software Engineering

      Mehdi Dastani, Marjan Sirjani

      Häftad, 2017

      577 kr

      Marjan Sirjani - Coordination Models and Languages, E-bok

      Coordination Models and Languages

      Marjan Sirjani

      E-bok
      2012

      739 kr

      Farhad Arbab, Marjan Sirjani - Fundamentals of Software Engineering, Häftad

      Fundamentals of Software Engineering

      Farhad Arbab, Marjan Sirjani

      Häftad, 2010

      577 kr

      Maurice H. ter Beek, Alessandro Fantechi, Laura Semini - From Software Engineering to Formal Methods and Tools, and Back, Häftad
      Del 11865

      From Software Engineering to Formal Methods and Tools, and Back

      Maurice H. ter Beek, Alessandro Fantechi, Laura Semini

      Häftad, 2019

      577 kr

      Farhad Arbab, Marjan Sirjani - Fundamentals of Software Engineering, Häftad

      Fundamentals of Software Engineering

      Farhad Arbab, Marjan Sirjani

      Häftad, 2012

      577 kr

      Maurice H. ter Beek, Rosemary Monahan - Integrated Formal Methods, Häftad
      Del 13274

      Integrated Formal Methods

      Maurice H. ter Beek, Rosemary Monahan

      Häftad, 2022

      862 kr

      Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini - Journeys Between Formal Methods and the Railway Industry, Häftad

      Journeys Between Formal Methods and the Railway Industry

      Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini

      Häftad, 2026

      1 124 kr