ISBNs beginnend mit 978-1-4020-xxxx-xFoster, Harry D., Krolnik, Adam C., Lacey, David J. ×Springer × Assertion-Based Design Foster, Harry D., Krolnik, Adam C., Lacey, David J.Springer 200385,55 €
