Logo - springer
Slogan - springer

New & Forthcoming Titles | New & Forthcoming Titles Journals, Academic Books & Online Media | Springer

Books & CD Roms: 18 Results

Sort listing by:

Books & CD ROMs

  1 2  

  • NASA Formal Methods
    • Softcover
      Due: June 24, 2021

      68,63 €
      (gross)
    • Softcover
      Due: June 24, 2021

      68,63 €
      (gross)

    NASA Formal Methods

    13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12673

    Subseries: Programming and Software Engineering

    Dutle, A., Moscato, M.M., Titolo, L., Muñoz, C.A., Perez, I. (Eds.) 2021

    Price from 68,63 €
    Selected Formats
    Information
    68,63 € (gross)
    ISBN 978-3-030-76383-1
    Due: June 24, 2021
    Softcover
    Softcover (also known as softback) version
  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)

    Integrated Formal Methods

    16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12546

    Subseries: Programming and Software Engineering

    Dongol, Brijesh, Troubitsyna, Elena (Eds.) 2020

    Price from 76,95 €
    Selected Formats
    Information
    76,95 € (gross)
    ISBN 978-3-030-63460-5
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Software Engineering and Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      57,19 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      57,19 €
      (gross)

    Software Engineering and Formal Methods

    18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12310

    Subseries: Theoretical Computer Science and General Issues

    de Boer, Frank, Cerone, Antonio (Eds.) 2020

    Price from 57,19 €
    Selected Formats
    Information
    57,19 € (gross)
    ISBN 978-3-030-58767-3
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • NASA Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)

    NASA Formal Methods

    12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 12229

    Subseries: Programming and Software Engineering

    Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (Eds.) 2020

    Price from 76,95 €
    Selected Formats
    Information
    76,95 € (gross)
    ISBN 978-3-030-55753-9
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      85,27 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      85,27 €
      (gross)

    Integrated Formal Methods

    15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11918

    Subseries: Programming and Software Engineering

    Ahrendt, Wolfgang, Tapia Tarifa, Silvia Lizeth (Eds.) 2019

    Price from 85,27 €
    Selected Formats
    Information
    85,27 € (gross)
    ISBN 978-3-030-34967-7
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Runtime Verification
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      67,59 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      67,59 €
      (gross)

    Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11757

    Subseries: Programming and Software Engineering

    Finkbeiner, Bernd, Mariani, Leonardo (Eds.) 2019

    Price from 67,59 €
    Selected Formats
    Information
    67,59 € (gross)
    ISBN 978-3-030-32078-2
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Formal Methods – The Next 30 Years
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      101,91 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      101,91 €
      (gross)

    Formal Methods – The Next 30 Years

    Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11800

    Subseries: Programming and Software Engineering

    ter Beek, Maurice H., McIver, Annabelle, Oliveira, José N. (Eds.) 2019

    Price from 101,91 €
    Selected Formats
    Information
    101,91 € (gross)
    ISBN 978-3-030-30941-1
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Software Engineering and Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      85,27 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      85,27 €
      (gross)

    Software Engineering and Formal Methods

    17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11724

    Subseries: Theoretical Computer Science and General Issues

    Ölveczky, Peter Csaba, Salaün, Gwen (Eds.) 2019

    Price from 85,27 €
    Selected Formats
    Information
    85,27 € (gross)
    ISBN 978-3-030-30445-4
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • NASA Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      68,63 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      68,63 €
      (gross)

    NASA Formal Methods

    11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11460

    Subseries: Programming and Software Engineering

    Badger, Julia M., Rozier, Kristin Yvonne (Eds.) 2019

    Price from 68,63 €
    Selected Formats
    Information
    68,63 € (gross)
    ISBN 978-3-030-20651-2
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version
  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days, if in stock

      76,95 €
      (gross)

    Integrated Formal Methods

    14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 11023

    Subseries: Programming and Software Engineering

    Furia, Carlo A., Winter, Kirsten (Eds.) 2018

    Price from 76,95 €
    Selected Formats
    Information
    76,95 € (gross)
    ISBN 978-3-319-98937-2
    Usually ready to be dispatched within 3 to 5 business days, if in stock
    Softcover
    Softcover (also known as softback) version


10 of 18
  1 2