• Shop by category
  • Powered by eBay
  • Formal Methods For Software Engineering 1st ed. 2022, Brand New, Free shippin...

    • Item No : 365564838216
    • Condition : Brand New
    • Brand : No brand Info
    • Seller : greatbookprices1
    • Current Bid : US $57.42
    • * Item Description

    • It also introduces logics as languages to describe reasoning and the process algebra CSP as a language to represent behaviours. Use of notations and formalisms is uniform throughout th. Markus Roggenbach is a Professor in the Dept. of Computer Science of Swansea University.Antonio Cerone is an Associate Professor in the Dept. of Computer Science of Nazarbayev University, Nur-Sultan.
    ★ Recommended Products Related To This Item
    ♥ Best Selling Products in this category