The Foundations of Program Verification
Publisher: Vieweg+Teubner Verlag
Published: Oct 03, 2013
Format: paperback
Number of pages: 239
ISBN-13: 9783322967541
Notes: Source title: The Foundations of Program Verification (Series in Computer Science) (German Edition)