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

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

From

£89.40

To

£125.44

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

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

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

Price now:

From

£89.40

To

£125.44

£89.40

eBay

Shop

£101.66

Amazon

Shop

£125.44

eBay

Shop

Similar Products

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

Amazon

£101.66

£109.99

View All
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