Deductive Program Design )
Publisher: Springer
Published: Sep 26, 2011
Format: paperback
Number of pages: 479
ISBN-13: 9783642648496
Notes: Source title: Deductive Program Design (Nato A.S.I. Series (closed) / Nato A.S.I. Subseries F: (closed)) (Nato ASI Subseries F: (152))