The Correctness-by-Construction Approach to Programming

By: Kourie, Derrick G.; Watson, Bruce W.

Price: $273.36

Quantity: 57 available


364227918X Special order direct from the distributor

Title: The Correctness-by-Construction Approach to Programming

Author Name: Kourie, Derrick G.; Watson, Bruce W.

Categories: Other,

Publisher: Springer:

ISBN Number: 364227918X

ISBN Number 13: 9783642279188

Binding: Hardcover

Book Condition: New

Seller ID: ING9783642279188