Programming with Specifications

von David Luckham

An Introduction to ANNA. A Language for Specifying Ada Programs

Preis unbekannt

Buch in deiner Nähe kaufen

Standort nutzen

...oder deine aktuelle Postleitzahl eingeben:
In deiner Nähe finden

oder

Zuschicken lassen