Formal Methods: State of the Art and New Directions

Sprache(n): Englisch

ISBN: 978-1-4471-5745-8 / 978-1447157458 / 9781447157458

Verlag: Springer London

Erscheinungsdatum: 20.10.2014

Seiten: 273

Auflage: 1

Herausgegeben von Jonathan P. Bowen, Paul Boca, Jawed Siddiqi