Books & CD ROMs
Show all 10 results-
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 -
Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10510
Subseries: Programming and Software Engineering
Polikarpova, Nadia, Schneider, Steve (Eds.) 2017
Price from 72,79 €Selected FormatsInformation72,79 € (gross)
ISBN 978-3-319-66844-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
Software Engineering and Formal Methods
15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10469
Subseries: Theoretical Computer Science and General Issues
Cimatti, Alessandro, Sirjani, Marjan (Eds.) 2017
Price from 72,79 €Selected FormatsInformation72,79 € (gross)
ISBN 978-3-319-66196-4Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
NASA Formal Methods
9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 10227
Subseries: Programming and Software Engineering
Barrett, Clark, Davies, Misty, Kahsai, Temesghen (Eds.) 2017
Price from 72,79 €Selected FormatsInformation72,79 € (gross)
ISBN 978-3-319-57287-1Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version -
FM 2016: Formal Methods
21st International Symposium, Limassol, Cyprus, November 9-11, 2016, ProceedingsSeries: Lecture Notes in Computer Science, Vol. 9995
Subseries: Programming and Software Engineering
Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (Eds.) 2016
Price from 103,99 €Selected FormatsInformation103,99 € (gross)
ISBN 978-3-319-48988-9Usually dispatched within 3 to 5 business days.SoftcoverSoftcover (also known as softback) version
