viktor kun¿ak

Grid   List

  1. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th International Conference on Computer AidedVerification, CAV 2017, held in Heidelberg, Germany, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th International Conference on Computer AidedVerification, CAV 2017, held in Heidelberg, Germany, in Ju...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>