Formal Methods and Software Development 1th edition

ISBN:3540151990

ISBN13:9783540151999

Publisher:Springer

Authors:Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher

Selling Options

Sell Formal Methods and Software Development

usforacle students can sell Formal Methods and Software Development (ISBN# 3540151990) written by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher and receive a check, along with a free pre-paid shipping label. Once you have sent in Formal Methods and Software Development (ISBN# 3540151990), your University of South Florida textbook will be processed and your check will be sent out to you within a matter days. You can also sell other usforacle textbooks, published by Springer and written by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher and receive checks.

Log In

or Create an account

Employers & Housing Providers

Employers can list job opportunities for students

Post a Job

Housing Providers can list available housing

Post Housing

Log In

Forgot your password?

Your new password has been sent to your email!

Logout Successful!

You just missed it! This listing has been filled.

Post your own housing listing on Uloop and have students reach out to you!

Upload An Image

Please select an image to upload
Note: must be in .png, .gif or .jpg format
OR
Provide URL where image can be downloaded
Note: must be in .png, .gif or .jpg format