Formal System Verification: State-of the-Art and Future Trends

£109.99

Pages: 198, Edition: 1st ed. 2018, Hardcover, Springer

Formal System Verification: State-of the-Art and Future Trends

catalogue.description

Price now:

£109.99

£109.99

Amazon

Shop

Similar Products

Formal System Verification: State-of the-Art and Future Trends

Amazon

£109.99

View All
FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Amazon

£9.69

Verification of Autonomous Systems

Amazon

£129.99

Formal Verification of Structurally Complex Multipliers

Amazon

£77.28

£79.99

LEAN PROGRAMMING FOR FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks for verified computation

Amazon

£9.76