
Automated Technology for Verification and Analysis
Farn Wang
₹4,536

25th IFIP WG 6.1 international conference
by Farn Wang
Springer · 2005
Free delivery. Nothing extra to pay at checkout.
Formal Techniques for Networked and Distributed Systems - Forte 2005: 25th IFIP WG 6.1 international conference is written by Farn Wang. This edition from Springer (2005) has 558 pages.
Its main subjects are Congresses, Computer network protocols, Electronic data processing and Formal methods (Computer science).