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 : La comanda

Stocul este limitat la furnizorii nostri. Disponibilitatea si termenul de livrare va vor fi comunicate telefonic in maxim 48 de ore. Puteti anula comanda in cazul in care informatiile furnizate nu va sunt convenabile.