+1M libros, ¡a una página de distancia!
Bookbot

Verification of infinite state systems using Presburger arithmetic

Compra de libros

Verification of infinite state systems using Presburger arithmetic, Tobias Schüle

Idioma
Publicado en
2007
product-detail.submit-box.info.binding
(Tapa blanda)
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña