3 E-böcker av 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
Engelska
DRM
€141.46
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 abstrac …
PDF
Engelska
DRM
€115.63
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 A …
PDF
Tyska
DRM
€39.50
