Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit
Publisher: De Gruyter, Inc.
Published: 1995
Language: ger
Number of pages: 251
ISBN-13: 9783110147643