Books & CD ROMs
Show all 17 results-
Integrated Formal Methods
16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 12546
Subseries: Programming and Software Engineering
Dongol, Brijesh, Troubitsyna, Elena (Eds.) 2020
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-030-63460-5Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, ProceedingsSeries: 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 FormatsInformation57,19 € (gross)
ISBN 978-3-030-58767-3Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
NASA Formal Methods
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, ProceedingsSeries: 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 FormatsInformation76,95 € (gross)
ISBN 978-3-030-55753-9Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, ProceedingsSeries: 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 FormatsInformation85,27 € (gross)
ISBN 978-3-030-34967-7Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Runtime Verification
19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11757
Subseries: Programming and Software Engineering
Finkbeiner, Bernd, Mariani, Leonardo (Eds.) 2019
Price from 67,59 €Selected FormatsInformation67,59 € (gross)
ISBN 978-3-030-32078-2Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, ProceedingsSeries: 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 FormatsInformation101,91 € (gross)
ISBN 978-3-030-30941-1Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Software Engineering and Formal Methods
17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, ProceedingsSeries: 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 FormatsInformation85,27 € (gross)
ISBN 978-3-030-30445-4Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
NASA Formal Methods
11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, ProceedingsSeries: 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 FormatsInformation68,63 € (gross)
ISBN 978-3-030-20651-2Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Integrated Formal Methods
14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 11023
Subseries: Programming and Software Engineering
Furia, Carlo A., Winter, Kirsten (Eds.) 2018
Price from 76,95 €Selected FormatsInformation76,95 € (gross)
ISBN 978-3-319-98937-2Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version -
Formal Methods
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, ProceedingsSeries: 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 FormatsInformation93,59 € (gross)
ISBN 978-3-319-95581-0Usually ready to be dispatched within 3 to 5 business daysSoftcoverSoftcover (also known as softback) version
