Akademibokhandeln

Dilian Gurov – författare

Visar alla böcker från författaren Dilian Gurov.

1 produkter

  1. Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Verification of Object-Oriented Software

    International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

    Av Bernhard Beckert, Ferruccio Damiani m. fl.

    Häftad, 2012

    679 kr

    Lägg i varukorg