Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky
₹4,282
Formal Methods
Foundations and Applications
by Christiano Braga, Narciso Martí-Oliet
Springer International Publishing AG · 2015
₹3,181
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 Methods: Foundations and Applications is written by Christiano Braga & Narciso Martí-Oliet. This edition from Springer International Publishing AG (2015) has 179 pages.
Book details
- ISBN-13
- 9783319150741
- ISBN-10
- 331915074X
- Authors
- Christiano Braga, Narciso Martí-Oliet
- Publisher
- Springer International Publishing AG
- Published
- 2015
- Edition
- 2015 ed.
- Pages
- 179
- Language
- English
- Condition
- New
- Subject
- Business & Economics
More by Christiano Braga and related titles
Error
Amanda Sturgill
₹3,439
Marx, Revolution, and Social Democracy
Philip J. Kain
₹9,344
Leading-Edge Electric Power Research
₹8,316
The Collapse of Nationalist China
Parks M. Coble
₹3,673
Hop, Skip, Go
Stephen Baker
₹3,811
Statistics and Data Visualization in Climate Science with R and Python
Samuel S. P. Shen, Gerald R. North
₹3,883
Economic Facts and Fallacies
Thomas Sowell
₹2,818
The Theory of the Leisure Class
Thorstein Veblen
₹4,101
Public Debt Dynamics of Europe and the U.S
Dimitris N. Chorafas
₹3,124
Redirecting Human Rights
UNKNOWN
₹7,770
Evil Corporations
₹13,943