Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Springer New York 1461396875
MPN Springer New York 19305445
Abmessungen / Gewicht
Hauptmerkmale
Springer New York

Springer New York ist eine Buchverlagsmarke, die vor allem wissenschaftliche Werke publiziert.