Logo - springer
Slogan - springer

New & Forthcoming Titles | Workshops in Computing

Workshops in Computing

Workshops in Computing

Series Ed.: Rijsbergen, C.J. van

ISSN: 1431-1682

Discontinued Series
Although this series no longer publishes new content, the published titles listed below may be still available on-line (e. g. via the Springer Book Archives) and in print.
  • Titles in this series

Books & CD ROMs

Show all 68 results

  • Declarative Programming, Sasbachwalden 1991
    • 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)

    Declarative Programming, Sasbachwalden 1991

    PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

    Series: Workshops in Computing

    Darlington, John, Dietrich, Roland (Eds.) 1992

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3794-8
    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-19735-5
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Designing Correct Circuits
    • 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)

    Designing Correct Circuits

    Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

    Series: Workshops in Computing

    Jones, Geraint, Sheeran, Mary (Eds.) 1991

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3544-9
    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-19659-4
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • First International Workshop on Larch
    • 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)

    First International Workshop on Larch

    Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

    Series: Workshops in Computing

    Martin, Ursula, Wing, Jeannette M. (Eds.) 1993

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3558-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.
    Information
    $99.00 (net)
    ISBN 978-3-540-19804-8
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Z User Workshop, Oxford 1990
    • 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)

    Z User Workshop, Oxford 1990

    Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

    Series: Workshops in Computing

    Nicholls, J.E. (Ed.) 1991

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3540-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
    $99.00 (net)
    ISBN 978-3-540-19672-3
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Formal Methods for Trustworthy Computer Systems (FM89)
    • 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)

    Formal Methods for Trustworthy Computer Systems (FM89)

    Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

    Series: Workshops in Computing

    Craigen, Dan, Summerskill, Karen (Eds.) 1990

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3532-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.
    Information
    $99.00 (net)
    ISBN 978-3-540-19635-8
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Interfaces to Database Systems (IDS94)
    • 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)

    Interfaces to Database Systems (IDS94)

    Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 1994

    Series: Workshops in Computing

    Sawyer, Peter H. (Ed.) 1995

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3818-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
    $99.00 (net)
    ISBN 978-3-540-19910-6
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Specification and Verification of Concurrent Systems
    • 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)

    Specification and Verification of Concurrent Systems

    Series: Workshops in Computing

    Rattray, Charles (Ed.) 1990

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3534-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
    $99.00 (net)
    ISBN 978-3-540-19581-8
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Object Orientation in Z
    • 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)

    Object Orientation in Z

    Series: Workshops in Computing

    Stepney, Susan, Barden, Rosalind, Cooper, David (Eds.) 1992

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3552-4
    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-19778-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Security for Object-Oriented Systems
    • 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)

    Security for Object-Oriented Systems

    Proceedings of the OOPSLA-93 Conference Workshop on Security for Object-Oriented Systems, Washington DC, USA, 26 September 1993

    Series: Workshops in Computing

    Thuraisingham, Bhavani, Sandhu, Ravi, Ting, T.C. (Eds.) 1994

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3858-7
    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-19877-2
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version
  • Database Programming Languages (DBPL-4)
    • 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)

    Database Programming Languages (DBPL-4)

    Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhattan, New York City, USA, 30 August–1 September 1993

    Series: Workshops in Computing

    Beeri, Catriel, Ohori, Atsushi, Shasha, Dennis (Eds.) 1994

    Price from $69.99
    Available Formats:
    Information
    $69.99 (net)
    ISBN 978-1-4471-3564-7
    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-19853-6
    usually dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


10 of 68