search for books and compare prices
IEEE International Automated Software Engineering Conference has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
cover image for 9783540208945
Product Description: Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though...read more

Paperback:

9783540208945 | Springer-Verlag New York Inc, March 19, 2004, cover price $99.00 | About this edition: Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor.

displaying 1 to 4 | at end