von
Preis unbekannt
Includes supplementary material: sn.pub/extras
Thomas A. Henzinger
Java computer computer science design functional programming programming real-time structured analysis verification