Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Interactive Computation - The New Paradigm (Authors and Editors)

Interactive Computation

The New Paradigm

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

2006, XV, 487 p. 84 Illus.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$149.00

(net) price for USA

ISBN 978-3-540-34874-0

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$189.00

(net) price for USA

ISBN 978-3-540-34666-1

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$189.00

(net) price for USA

ISBN 978-3-642-07102-7

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

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.

Other books by these authors 

Books & CD ROMs

Show all 4 results

  • Runtime Verification
    • eBook
      download immediately after purchase

      $59.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $84.00
      (net)
      All
    • eBook
      download immediately after purchase

      $59.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $84.00
      (net)

    Runtime Verification

    5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

    Series: Lecture Notes in Computer Science, Vol. 8734

    Subseries: Programming and Software Engineering

    Bonakdarpour, Borzoo, Smolka, Scott A. (Eds.) 2014

    Price from $59.99
    Available Formats:
    Information
    $59.99 (net)
    ISBN 978-3-319-11164-3
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $84.00 (net)
    ISBN 978-3-319-11163-6
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Interactive Computation
    • eBook
      download immediately after purchase

      $149.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $189.00
      (net)
      All
    • eBook
      download immediately after purchase

      $149.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $189.00
      (net)

    Interactive Computation

    The New Paradigm

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

    Price from $149.00
    Selected Formats
    Information
    $149.00 (net)
    ISBN 978-3-540-34874-0
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $189.00 (net)
    ISBN 978-3-642-07102-7
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Psychoanalysen, die ihre Zeit brauchen
    • eBook
      download immediately after purchase

      $49.99
      (net)
    • eBook
      download immediately after purchase

      $49.99
      (net)

    Psychoanalysen, die ihre Zeit brauchen

    Zwölf klinische Darstellungen

    Henseler, Heinz, Wegner, Peter (Hrsg.) 1993

    Price from $49.99
    Available Formats:
    Information
    $49.99 (net)
    ISBN 978-3-663-12331-6
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
  • Object-Based Concurrent Computing
    • eBook
      download immediately after purchase

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)
      All
    • Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)

    Object-Based Concurrent Computing

    ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings

    Series: Lecture Notes in Computer Science, Vol. 612

    Tokoro, Mario, Nierstrasz, Oscar, Wegner, Peter (Eds.) 1992

    Price from $99.00
    Available Formats:
    Information
    ISBN 978-3-540-47260-5
    download immediately after purchase
    eBook
    This title is also available as an eBook. You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal. After the purchase you can directly download the eBook file or read it online. Via MySpringer you can always re-download your eBooks.
    Information
    $99.00 (net)
    ISBN 978-3-540-55613-8
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


4 of 4

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Theory of Computation.