[ Back to Record ]

  1. Bib ID# 22702
    ISBN: 9781848827363
    UPC: 10.1007/978-1-84882-736-3
    Title: Formal Methods: State of the Art and New Directions
    Author: Boca, Paul.
    Publication Info:
    Item Type: Language material

[ Back to Record ]