Books & CD ROMs
Show all 14 results-
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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (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 dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Software Engineering and Formal Methods
16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10886
Subseries: Theoretical Computer Science and General Issues
Johnsen, Einar Broch, Schaefer, Ina (Eds.) 2018
Price from 60,31 €Selected FormatsInformation60,31 € (gross)
ISBN 978-3-319-92969-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
NASA Formal Methods
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10811
Subseries: Programming and Software Engineering
Dutle, Aaron, Munoz, César, Narkawicz, Anthony (Eds.) 2018
Price from 68,64 €Selected FormatsInformation68,64 € (gross)
ISBN 978-3-319-77934-8Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10482
Subseries: Programming and Software Engineering
D'Souza, Deepak, Narayan Kumar, K. (Eds.) 2017
Price from 72,79 €Selected FormatsInformation72,79 € (gross)
ISBN 978-3-319-68166-5Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version
