Compare formal system verification - 9783319576831 products from over 5,000 stores

Formal System Verification - 9783319576831

Name: Formal System Verification - 9783319576831
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.93

£109.99

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

Amazon

£101.93

£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

£55.05

£79.99