Concurrent Programming, Open Systems and Formal Methods (Paperback)

Sprache: Englisch

Verlag: Springer Nature Switzerland AG, Cham, 2025

3032052904 / 9783032052902

Anbieter: Grand Eagle Retail, Bensenville, IL, USAGrand Eagle Retail

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Oktober 2005

Softcover

Zustand: Neu

EUR 85,17

 Versand gratis 
Versand innerhalb von USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Paperback. 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 teams 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Bestandsnummer des Verkäufers 9783032052902

Titel
Concurrent Programming, Open Systems and Formal Methods (Paperback)
Autor
Jose Meseguer
Verlag
Springer Nature Switzerland AG, Cham
Erscheinungsjahr
2025
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
3032052904
ISBN-13
9783032052902

Grand Eagle Retail

Bensenville, IL, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 12. Oktober 2005

Versandkosten innerhalb von USA

Artikel6 bis 14 Werktage6 bis 16 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

APOLLO ONLINE CORP.

605 Geddes Street
Wilmington, DE USA 19805