Formal Specification Techniques for Engineering Modular C Programs

Name: Formal Specification Techniques for Engineering Modular C Programs: 1
Brand: Springer-Verlag New York Inc.
SKU: 9781461368502
Price: 11591.00 INR
Availability: InStock

by Yang Meng Tan

Springer-Verlag New York Inc. · 2012

₹11,591

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Formal Specification Techniques for Engineering Modular C Programs: 1 is written by Yang Meng Tan. This edition from Springer-Verlag New York Inc. (2012) has 213 pages.

The book deals with Computer science and Software engineering.