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

£115.78

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

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

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

Price now:

From

£89.40

To

£115.78

£89.40

eBay

Shop

£102.70

Amazon

Shop

£115.78

eBay

Shop

Similar Products

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

Amazon

£102.70

£109.99

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