Arne Skou (u. A.) | Computer Aided Verification | Taschenbuch |

Computer Aided Verification Azadeh Farzan (u. A.) Taschenbuch

Computer Aided Verification | Azadeh Farzan (u. A.) | Englisch |

Computer Aided Verification | Chao Wang (u. A.) | Englisch |

Pierre Wolper | Computer Aided Verification | Taschenbuch | Englisch

Robert Kurshan | Computer-aided Verification | Taschenbuch | Englisch

Corina S. P¿s¿reanu (u. A.) | Computer Aided Verification |

Computer Aided Verification By Serdar Tasiran

Computer Aided Verification By Georg Weissenbacher

Computer Aided Verification Azadeh Farzan

Computer Aided Verification 21st International Conference, Cav 2009,

Okba Hamri (u. A.) | Computer Aided Design And Computer Aided

Computer-aided Cmm Inspection Planning And Verification Theory And

Frederic P. Miller (u. A.) | Computer-aided Design | Taschenbuch |

Anthony Wren (u. A.) | Computer-aided Transit Scheduling | Taschenbuch

Anis Limaiem | Computer-aided Cmm Inspection Planning And Verification