Arne Skou – författare

Visar alla böcker från författaren Arne Skou. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Computer Aided Verification

   3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

   Av Kim G. Larsen, Arne Skou

   Häftad, 1992

   567 kr

   Lägg i varukorg

   This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools …