Formal Methods for Software Engineering: Languages, Methods, Application Domains

Formal Methods for Software Engineering: Languages, Methods, Application Domains
sku: 2596746
$98.03
Shipping from: United Arab Emirates
   Description
Formal Methods for Software Engineering: Languages, Methods, Application Domains By Roggenbach, Markus Published by Springer Publication Date: 2023-06-24 Subject: Computers Business & Productivity Software General, Computers Computer Science, Computers Software Development & Engineering General, Computers Business & Productivity Software - General, Computers Computer Science, Computers Data Science - General, Computers Programming - General, Computers Software Development & Engineering - General, Mathematics Algebra General, Mathematics Applied, Mathematics Algebra - General, Mathematics Applied, Technology & Engineering Engineering (General), Technology & Engineering Engineering (General), Information Technology: General Issues, Software Engineering, Computers Computer Science, Computers, Computer Science Subject Keywords: Formal Methods; Logic; Software Engineering; Process Algebras; CSP; Algebraic Specification; CASL; Verification Genre: Computers, Computer Science Target Audience: A Read for the Modern Generation
   Price history chart & currency exchange rate

Customers also viewed