Logo - springer
Slogan - springer

Computer Science - Information Systems and Applications | The Deductive Spreadsheet (Authors and Editors)

The Deductive Spreadsheet

Cervesato, Iliano

2013, XXI, 406 p. 98 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.

 
$99.00

(net) price for USA

ISBN 978-3-642-37747-1

digitally watermarked, no DRM

Included Format: PDF and EPUB

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.

 
$129.00

(net) price for USA

ISBN 978-3-642-37746-4

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Iliano Cervesato is an Associate Professor of Computer Science at the Qatar campus of Carnegie Mellon University, where he teaches principles of programming languages, logic and computer security. He has held appointments at Carnegie Mellon University in Pittsburgh, where he performed his doctoral work, Stanford University, Princeton University, and Tulane University. He also worked for ITT Industries at the Naval Research Laboratory. Before moving to Qatar, he was the founder and chief research scientist of Deductive Solutions in Annandale, Virginia. His research interests encompass computational logic, programming languages, computer security, and user productivity applications.

He holds a B.Sc. in computer science from the University of Udine in Italy; an M.Sc. in computer science from the University of Houston in the US; and a Ph.D. in computer science from the University of Torino in Italy.

Dr. Cervesato has over 15 years of experience in computational logic and in various aspects of the design, analysis, and implementation of programming languages. He also has over a decade of research and development experience in computer security, notably cryptographic protocol analysis and the foundations of computer security. His expertise and contributions are internationally recognized. He has published over 100 articles on the above topics. He has been the program chair or general chair of several international scientific conferences.

Other books by this author 

Books & CD ROMs

Show all 3 results

  • Advances in Computer Science - ASIAN 2007. Computer and Network Security
    • eBook
      download immediately after purchase

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

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

      $69.99
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $99.00
      (net)

    Advances in Computer Science - ASIAN 2007. Computer and Network Security

    12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 4846

    Subseries: Theoretical Computer Science and General Issues

    Cervesato, Iliano (Ed.) 2007

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-3-540-76929-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
    $99.00 (net)
    ISBN 978-3-540-76927-9
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • The Deductive Spreadsheet
    • eBook
      download immediately after purchase

      $99.00
      (net)
    • eBook
      download immediately after purchase

      $99.00
      (net)

    The Deductive Spreadsheet

    Series: Cognitive Technologies

    Cervesato, Iliano 2013

    Price from $99.00
    Selected Formats
    Information
    $99.00 (net)
    ISBN 978-3-642-37747-1
    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.
  • Logic for Programming, Artificial Intelligence, and Reasoning
    • eBook
      download immediately after purchase

      $129.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

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

      $129.00
      (net)

      Softcover
      usually dispatched within 3 to 5 business days

      $169.00
      (net)

    Logic for Programming, Artificial Intelligence, and Reasoning

    15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 5330

    Subseries: Lecture Notes in Artificial Intelligence

    Cervesato, Iliano, Veith, Helmut, Voronkov, Andrei (Eds.) 2008

    Price from $129.00
    Available Formats:
    Information
    $129.00 (net)
    ISBN 978-3-540-89439-1
    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
    $169.00 (net)
    ISBN 978-3-540-89438-4
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


3 of 3

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Information Systems and Communication Service.