The Foundations of Program Verification
Edition: Second Edition
Series: Series in Computer Science
Publisher: Vieweg+Teubner Verlag
Published: 1987
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322967534
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA