T. F. Melham (u. A.) | Higher Order Logic And Hardware Verification |

T. Melham | Higher Order Logic And Hardware Verification | Taschenbuch

Gilles Dowek (u. A.) | Higher-order Algebra, Logic, And Term Rewriting

Rachel Tzoref-brill (u. A.) | Hardware And Software: Verification And

Wolfgang Paul (u. A.) | Correct Hardware Design And Verification

Laurence Pierre (u. A.) | Correct Hardware Design And Verification

F. Sadri (u. A.) | Computational Logic: Logic Programming And Beyond |

Sunita Joshi (u. A.) | The E Hardware Verification Language | Buch |

Logic Synthesis And Verification 2333

Robert Ekendahl (u. A.) | Hardware Verification With System Verilog |

Asma Khalil (u. A.) | Twin And Higher-order Pregnancies | Buch |

Frederic P. Miller (u. A.) | First-order Logic | Taschenbuch |

Zeroth-order Logic Lambert M. Surhone (u. A.) Taschenbuch Englisch

Hardware And Software: Verification And Testing 10th International

Eran Yahav | Hardware And Software: Verification And Testing |

Introduction To Higher-order Categorical Logic (cambridge Studies In