Leveraging Applications of Formal Methods; First International Symposium, ISoLA 2004; Paphos, Cyprus, October/November 2004
Berlin: Springer Verlag, 2004. First printing. Paperback. Softbound, clean unmarked text, 197 pp., New copy, still in shrink wrap. New. Item #s000591
ISBN: 9783540489283
Price: $20.00
See all items in
Computer Science
See all items by Tiziana Margaria, Bernhard Steffen