Verified Software Theories, Tools, and Experiments

by Gurfinkel, Arie; Seshia, Sanjit A.

• ISBN13: 9783319296128
• ISBN10: 3319296124
• Edition: Revised
• Format: Paperback

Verified Functional Programming in Agda

by Stump, Aaron

• ISBN13: 9781970001242
• ISBN10: 1970001240
• Format: Paperback

• New Textbook Copy Usually Ships in 24-48 Hours
• Free Shipping On Orders Over $35!

Verified Software. Theories, Tools, and Experiments

by Blazy, Sandrine; Chechik, Marsha

• ISBN13: 9783319488684
• ISBN10: 3319488686
• Edition: Revised
• Format: Paperback

Verified Software

by Paskevich, Andrei; Wies, Thomas

• ISBN13: 9783319723075
• ISBN10: 3319723073
• Edition: Revised
• Format: Paperback

Verified Software

by Piskac, Ruzica; Rümmer, Philipp

• ISBN13: 9783030035914
• ISBN10: 3030035913
• Edition: Revised
• Format: Paperback

Verified Software

by Chakraborty, Supratik; Navas, Jorge A.

• ISBN13: 9783030415990
• ISBN10: 3030415996
• Edition: Revised
• Format: Paperback

Verified Functional Programming in Agda

by Stump, Aaron

• ISBN13: 9781970001273
• ISBN10: 1970001275
• Format: Hardcover

Rosen Verified

by Not Available

• ISBN13: 9781499468694
• ISBN10: 1499468695
• Format: Hardcover

Rosen Verified

by Not Available

• ISBN13: 9781499468922
• ISBN10: 149946892X
• Format: Paperback

Verified Software: Theories, Tools, and Experiments

by Arie Gurfinkel

• ISBN13: 9783319296135
• ISBN10: 3319296132
• Format: Nonspecific Binding