
Formal Techniques for Safety-critical Systems
Osman Hasan, édéric Mallet
₹4,230

9th International Conference Rr 2015 Berlin
by Balder ten Cate, Alessandra Mileo
Springer-Verlag New York Inc · 2015
Free delivery. Nothing extra to pay at checkout.
Web Reasoning and Rule Systems: 9th International Conference Rr 2015 Berlin by Balder ten Cate & Alessandra Mileo is a 131-page book published by Springer-Verlag New York Inc in 2015.
Its main subjects are Logic programming and Expert systems (computer science).