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
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.
Paperback:
9780769514277 | IEEE, December 1, 2001, cover price $160.00
Paperback:
9780769514260 | IEEE, December 1, 2001, cover price $160.00
Paperback:
9780818687501 | IEEE Computer Society, November 1, 1998, cover price $120.00
displaying 1 to 4 |
at end