Formal Methods

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

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Formal Methods zijn 9783319955827, 3319955829 en de ISBN's voor gedrukt materiaal zijn 9783319955810, 3319955810. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings is geschreven door Author en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Formal Methods zijn 9783319955827, 3319955829 en de ISBN's voor gedrukt materiaal zijn 9783319955810, 3319955810. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.