Computer Aided Verification

A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
  • Limba : Engleza
  • Data Publicarii : 03 Jun 1998
  • Format : Paperback
  • Numar pagini : 562
  • ISBN : 9783540646082
Rating:
602.99 Lei
Disponibilitate : 2-4 saptamani

Acest produs este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 2-4 saptamani