Interactive Computation

The New Paradigm

Herausgeber: Goldin, Dina, Smolka, Scott A., Wegner, Peter (Eds.)

Dieses Buch kaufen

eBook 154,69 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-34874-0
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 203,29 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-34666-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Softcover 203,29 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-07102-7
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über den Autor

Dina Goldin is an adjunct faculty member in the computer science department at Brown University. Her work on models of interactive computation has been published in leading journals. She is the Information Director and member of editorial board of ACM Computing Reviews, and a senior member of the IEEE. She is also co-organizer of a new series of bi-annual workshops on the foundations of interactive computing (FInCo), founded in 2005.

Scott Smolka is a professor of computer science at Stony Brook University. His research interests include concurrency theory, model checking, and systems biology, and he has over 100 refereed publications in these areas. He is on the editorial board of Software Tools for Technology, Formal Methods in System Design, and Transactions on Computational Logic. He is also co-founder and president of Reactive Systems, Inc., which makes the Reactis tool suite for the automated testing and validation of embedded control software.

Peter Wegner is professor emeritus of computer science at Brown University. During his distinguished career, Peter has written or edited over a dozen books in the areas of programming languages and software engineering, and has held a number of leading editorial positions. He was awarded the Austrian Medal of Honor (Ehrenkreuz) for his scientific contributions, and an ACM Distinguished Service Award for leadership in charting research directions for computer science.

Stimmen zum Buch

From the reviews:

"It is interesting that a book on interactive computation is constructed as a large cooperative effort involving 31 contributors; three of them also performed the editing task. … Each section appears to be self contained--one may read in detail a chapter of personal interest in the middle of the book without having reference other material in the book. Each chapter has an excellent self-contained collection of references. … Summing Up: Recommended. Upper-division undergraduates through professionals." (J. Beidler, CHOICE, Vol. 44 (9), May, 2007)


Inhaltsverzeichnis (18 Kapitel)

  • Turing, Computing and Communication

    Milner, Robin

    Seiten 1-8

  • Computing and Interaction

    Arbab, Farhad

    Seiten 9-23

  • Principles of Interactive Computation

    Goldin, Dina (et al.)

    Seiten 25-37

  • A Theory of System Interaction: Components, Interfaces, and Services

    Broy, Manfred

    Seiten 41-96

  • Verification of Open Systems

    Kupferman, Orna (et al.)

    Seiten 97-117

Dieses Buch kaufen

eBook 154,69 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-34874-0
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Hardcover 203,29 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-540-34666-1
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Softcover 203,29 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-642-07102-7
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Interactive Computation
Buchuntertitel
The New Paradigm
Herausgeber
  • Dina Goldin
  • Scott A. Smolka
  • Peter Wegner
Copyright
2006
Verlag
Springer-Verlag Berlin Heidelberg
Copyright Inhaber
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-34874-0
DOI
10.1007/3-540-34874-3
Hardcover ISBN
978-3-540-34666-1
Softcover ISBN
978-3-642-07102-7
Auflage
1
Seitenzahl
XV, 487
Anzahl der Bilder
84 schwarz-weiß Abbildungen
Themen