Home > > > A Formal Definition of JML in Coq

A Formal Definition of JML in Coq

0 stars by 0 votes
Google Book Preview of A Formal Definition of JML in Coq
Write a Review

Best Price: Rs. 8,217 - Rs. 9,285 Compare prices from 3 sellers »

Book Details

Contributors
Author Hermann Lehner
Dimensions
Width 6.00 inch
Height 0.51 inch
Weight 349 g
Format
Binding Paperback
Overview
Number of Pages 236 Pages
Publisher Sudwestdeutscher Verlag Fur Hochschulschriften
Publication Year 2012
ISBN-13 9783838130644
ISBN-10 3838130642
Store Locator
Bookss Local Stores

A Formal Definition of JML in Coq Price in India

Bookadda

Return Policy
Cash on Delivery ; EMI

8,217.00 Rs. 8,217 + FREE Shipping
Acadzone

Return Policy
Cash on Delivery ; EMI

8,217.00 Rs. 8,217 + FREE Shipping
Uread

Return Policy
Cash on Delivery ; EMI

9,285.00 Rs. 9,285 + FREE Shipping

Local stores for Books

or Find Shops Near Me
Shop NameAddressDistancePhone NumberMap & Direction
Does your store sale this book?
ADD YOUR STORE

Google Preview

Price Alert