Formal Methods: State of the Art and New Directions

Sprache(n): Englisch

ISBN: 978-1-84882-735-6 / 978-1848827356 / 9781848827356

Verlag: Springer London

Erscheinungsdatum: 22.12.2009

Seiten: 273

Auflage: 1

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