Logo - springer
Slogan - springer

New & Forthcoming Titles | Formal Methods - Formal Methods

Formal Methods

Formal Methods

Formal Methods

  • Titles in this volume package

Books & CD ROMs

Show all 17 results

  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • Software Engineering and Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • NASA Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • Runtime Verification
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    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

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

      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
    Softcover
    Softcover (also known as softback) version
  • Software Engineering and Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • NASA Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • Integrated Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

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

      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
    Softcover
    Softcover (also known as softback) version
  • Formal Methods
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

      93,59 €
      (gross)
    • Softcover
      Usually ready to be dispatched within 3 to 5 business days

      93,59 €
      (gross)

    Formal Methods

    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

    Series: Lecture Notes in Computer Science, Vol. 10951

    Subseries: Programming and Software Engineering

    Havelund, K., Peleska, J., Roscoe, B., de Vink, E. (Eds.) 2018

    Price from 93,59 €
    Selected Formats
    Information
    93,59 € (gross)
    ISBN 978-3-319-95581-0
    Usually ready to be dispatched within 3 to 5 business days
    Softcover
    Softcover (also known as softback) version


10 of 17