Formal Methods in Systems Engineering
By: edited by Peter Ryan, Chris Sennett
Contributors: Sennett, Chris
Publisher: Springer London
Published: 1993
Place of publication: London
Language: eng
Format: [electronic resource] /
Number of pages: 195
ISBN-13: 9781447119753