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