Buscape
Buscape

Visto recentemente

Alertas
  • Salvar
  • Compartilhar

An Introduction to Practical Formal Methods Using Temporal Logic - Michael Fisher - 9780470027882

sem avaliações
An Introduction to Practical Formal Methods Using Temporal Logic - Michael Fisher - 9780470027882

Quer pagar mais barato?

Avisamos quando o preço baixar

banner_prod_default_edit_vel_bp_1.webpbanner_prod_default_edit_vel_bp_2.webp

Ficha técnica

Informações Básicas

ISBN9780470027882
ISBN-100470027886
TítuloAn Introduction to Practical Formal Methods Using Temporal Logic
AutorMichael Fisher
EditoraWiley-Blackwell
Publicidade
Publicidade
Publicidade