Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-2 of 2)
Railroads -- Management -- Data processing.
2
E-book
2012

Formal methods : industrial use from model to the code




London : ISTE ; Hoboken, NJ : Wiley, [2012]

Rating:

 
Add Marked to Bag Add All On Page
Locate in results