• 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. Programmeringsböcker
      3. Programvaruutveckling

      Concurrent Programming, Open Systems and Formal Methods

      Essays Dedicated to Gul Agha to Celebrate His Scientific Career

      AvJose Meseguer,Carlos A. Varela

      Häftad, Engelska, 2025

      Del 16120 i serien Lecture Notes in Computer Science

      920 kr

      Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees at the University of Michigan, Ann Arbor. His thesis led to the MIT Press book Actors: A Model of Concurrent Computation in Distributed Systems, a work cited nearly 5000 times. After researcher and lecturer appointments at MIT and Yale, he moved to the University of Illinois, Urbana-Champaign, where he started as an assistant professor in 1989 and subsequently become a full professor and the founding director of the Open Systems Laboratory. The team’s goal is to develop concurrent programming languages and systems that support applications with high-performance, fault-tolerance or real-time requirements, and this work has been very influential across domains such as Software Engineering, Formal Methods, Programming Languages, Concurrency Theory, Distributed Systems, and Cyber-Physical Systems. Gul Agha is a Fellow of the IEEE and a Fellow of the ACM, other honors include the IBM Faculty Award, the ONR Young Investigator Award, and the ACM Recognition of Service Award.Over the course of his career Gul has been a highly impactful mentor, and he has collaborated in research and in publications with a wide range of scientists and engineers, in academia and in industry. Beyond his deep expertise, they have been inspired by his well-rounded intellect, philosophy of life, and sense of humor, and their successes are reflected in the papers contributed to this volume.

      Produktinformation

      • Utgivningsdatum:2025-09-25
      • Mått:155 x 235 x 32 mm
      • Vikt:867 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:538
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783032052902

      Utforska kategorier

      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT

      Innehållsförteckning

      • Actors and Concurrent Programming.- Open Systems and Applications.- Formal Methods.
      Hoppa över listan

      Du kanske också är intresserad av

      Carola Häggkvist, Desirée Stattin Drakenberg - Jag är Carola : Del 1. Frigörelsen, Inbunden
      • Nyhet

      Jag är Carola : Del 1. Frigörelsen

      Carola Häggkvist, Desirée Stattin Drakenberg

      Inbunden, 2026

      289 kr

      Joseph Von Eichendorff, Lore Salomon - Das Marmorbild. Textausgabe mit Kommentar und Materialien, Häftad
      Del 16120

      Das Marmorbild. Textausgabe mit Kommentar und Materialien

      Joseph Von Eichendorff, Lore Salomon

      Häftad, 2021

      97 kr

      Nalini Venkatasubramanian, Carlos A. Varela, Jose Meseguer - Concurrent Programming, Open Systems and Formal Methods, E-bok

      Concurrent Programming, Open Systems and Formal Methods

      Nalini Venkatasubramanian, Carlos A. Varela, Jose Meseguer

      E-bok
      2025

      1 138 kr

      Stephan Steglich, Vladimir Getov, Nalini Venkatasubramanian - Mobile Wireless Middleware, Operating Systems, and Applications, E-bok

      Mobile Wireless Middleware, Operating Systems, and Applications

      Stephan Steglich, Vladimir Getov, Nalini Venkatasubramanian

      E-bok
      2012

      732 kr

      Carlos A. Varela - Programming Distributed Computing Systems, E-bok

      Programming Distributed Computing Systems

      Carlos A. Varela

      E-bok
      2013

      743 kr

      Nalini Venkatasubramanian, Vladimir Getov, Stephan Steglich - Mobile Wireless Middleware, Operating Systems, and Applications, Häftad

      Mobile Wireless Middleware, Operating Systems, and Applications

      Nalini Venkatasubramanian, Vladimir Getov, Stephan Steglich

      Häftad, 2012

      574 kr

      Grigore Rosu, Jose Meseguer - Algebraic Methodology and Software Technology, E-bok

      Algebraic Methodology and Software Technology

      Grigore Rosu, Jose Meseguer

      E-bok
      2008

      739 kr

      Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman - Foundations of Security, Protocols, and Equational Reasoning, E-bok

      Foundations of Security, Protocols, and Equational Reasoning

      Dusko Pavlovic, Jose Meseguer, Carl E. Landwehr, Joshua D. Guttman

      E-bok
      2019

      734 kr

      Kazuhiro Ogata, Jose Meseguer, Shusaku Iida - Specification, Algebra, and Software, E-bok

      Specification, Algebra, and Software

      Kazuhiro Ogata, Jose Meseguer, Shusaku Iida

      E-bok
      2014

      739 kr

      Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe - Protocols, Strands, and Logic, Häftad
      Del 13066

      Protocols, Strands, and Logic

      Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

      Häftad, 2021

      847 kr