0

Interactive Computation

The New Paradigm

A Smolka, Scott / Wegner, Peter
Erschienen am 01.09.2006
CHF 195,00
(inkl. MwSt.)
UVP

Lieferbar in ca. 10-14 Arbeitstagen

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9783540346661
Sprache: Englisch
Auflage: 1. Auflage
Einband: Gebunden

Autorenportrait

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.

Weitere Artikel aus der Kategorie "Informatik & EDV"

Lieferbar innerhalb 36 Stunden

CHF 31,50
inkl. MwSt.
UVP

Nicht mehr lieferbar

CHF 17,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 46,00
inkl. MwSt.
UVP

Nicht mehr lieferbar

CHF 28,90
inkl. MwSt.
UVP

Lieferbar innerhalb 36 Stunden

CHF 28,90
inkl. MwSt.
UVP
Alle Artikel anzeigen