Willkommen. Schön, sind Sie da!
Mein Ex Libris

Deductive Software Verification - The KeY Book

(0)
Erste Bewertung abgeben
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream te...

CHF130.90

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch