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: Softcover reprint of the original 1st ed. 2018, Paperback, Springer

Pages: 198, Edition: Softcover reprint of the original 1st ed. 2018, Paperback, Springer

Price now:

From

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

Amazon

£102.70

£109.99

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

Amazon

£103.44

£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