Showing 1 - 4 (of 4)
Refine
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report - eBook

Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) Final Report

Hartmut Ehrig

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings - eBook

Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings

Werner Damm

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings - eBook

Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Werner Damm

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Practical Formal Methods for Hardware Design - eBook

Practical Formal Methods for Hardware Design

Carlos Delgado Kloos

Download Now

Format: eBook (PDF)

£44.99

£38.24

Download Now

eBook (PDF)

Add to Basket
Showing 1 - 4 (of 4)
Refine