3 电子书 Peter H. Schmitt
Wolfgang Ahrendt & Bernhard Beckert: Deductive Software Verification – The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of …
PDF
英语
DRM
€138.77
Bernhard Beckert & Reiner Hahnle: Verification of Object-Oriented Software. The KeY Approach
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just …
PDF
英语
DRM
€113.43
Peter H. Schmitt: Theorie der logischen Programmierung
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen …
PDF
德语
DRM
€39.48
