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

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

From

£89.40

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

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

Price now:

From

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

Amazon

£101.66

£109.99

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

Amazon

£102.43

£109.99

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

Amazon

£9.69

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

Amazon

£9.76

Formal Verification of Structurally Complex Multipliers

Amazon

£57.05

£79.99