booktheque

Automated Technology for Verification and Analysis

Farn Wang · 2004

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2004
Language
English
Publisher
Springer
Editions
2
Pages
506
ISBN
9783540236108

Data source: Wikidata

More by Farn Wang

Formal Techniques for Networked and Distributed Systems - FORTE 2005
Farn Wang · 2005