Automated Technology for Verification and Analysis
Tevfik Bultan, Pao-Ann Hsiung
₹5,652
Formal Description Techniques and Protocol Specification, Testing and Verification
in Information and Communication Technology)
Springer Verlag · 2013
₹15,369
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 Description Techniques and Protocol Specification, Testing and Verification: in Information and Communication Technology) by Stan Budkowski is a 472-page book published by Springer Verlag in 2013.
Topics covered include Computer engineering, Computer communication networks, Engineering and Computer science.
Book details
- ISBN-13
- 9781475752625
- ISBN-10
- 1475752628
- Author
- Stan Budkowski
- Publisher
- Springer Verlag
- Published
- 2013
- Edition
- Softcover Reprint of the Original 1st 1998 ed.
- Pages
- 472
- Language
- English
- Condition
- New
More in Computer Communication Networks
Network Management in Wired and Wireless Networks
Tejinder S. Randhawa, Stephen Hardy
₹11,590
Opportunistic Networks
Anshul Verma, Pradeepika Verma, Sanjay Kumar Dhurandher, Isaac Woungang
₹5,226
Membrane Computing
Marian Gheorghe, Thomas Hinze, Gheorghe Păun
₹5,678
Cognitive Virtual Network Operator Games
Lingjie Duan, Biying Shou, Jianwei Huang
₹4,211
Heterogeneous Network Quality of Service Systems
Jens Burkhard Schmitt
₹7,740
Measuring SIP Proxy Server Performance
Sureshkumar V. Subramanian, Rudra Dutta
₹4,231
Passive and Active Measurement
Arvind Krishnamurthy, Bernhard Plattner
₹5,822
Data Mining Techniques in Sensor Networks
Annalisa Appice
₹3,572
Human Behavior Understanding in Networked Sensing
Paolo Spagnolo, Pier Luigi Mazzeo, Cosimo Distante
₹4,264
Advances in Information and Computer Security
Kazuo Sakiyama, Masayuki Terada
₹3,930
The Internet for Radiology Practice
Amit Mehta
₹5,496