Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
₹6,220
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods
Springer Nature Switzerland AG · 2019 · Paperback
₹4,329
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 and Software Engineering: 21st International Conference on Formal Engineering Methods is written by Shengchao Qin. This paperback edition from Springer Nature Switzerland AG (2019) has 528 pages.
Topics covered include Computer networks, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783030324087
- ISBN-10
- 3030324087
- Author
- Shengchao Qin
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Binding
- Paperback
- Pages
- 528
- Language
- English
- Condition
- New
More by Shengchao Qin and related titles
Unifying Theories of Programming
Shengchao Qin
₹5,525
Modeling and Simulation Environment for Satellite and Terrestrial Communications Networks
A. Nejat İnce
₹7,744
The Internet for Dummies®
John R. Levine, Margaret Levine Young, Carol Baroudi
₹1,638
Interconnections for Computer Communications and Packet Networks
Roberto Rojas-Cessa
₹15,739
Internet Complete Reference
Harley Hahn
₹4,822
Critical Information Infrastructures Security
Eric Luiijf
₹4,209
High Performance Networks
Ahmed N. Tantawy
₹11,588
Active Middleware Services
S. Hariri
₹7,753
Passive and Active Measurement
Arvind Krishnamurthy, Bernhard Plattner
₹5,822
Wireless Sensors in Industrial Time-Critical Environments
Jose Cecílio, Pedro Furtado
₹6,479
Human Behavior Understanding in Networked Sensing
Paolo Spagnolo, Pier Luigi Mazzeo, Cosimo Distante
₹4,264