
Computer Science Logic
Anuj Dawar, Helmut Veith
₹5,686

4th International Symposium
by Frank Ortmeier, Antoine Rauzy
Springer International Publishing AG · 2014 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer International Publishing AG in 2014, Model-Based Safety and Assessment: 4th International Symposium by Frank Ortmeier & Antoine Rauzy runs to 209 pages in paperback.
Its main subjects are Reliability (engineering), Safety appliances, Operating systems (computers) and Industrial safety.