Tool Support For System Specification, Development And Verification

 

eBook
Bertrand.pt - Tool Support For System Specification, Development And Verification
idioma: Inglês
Editor: Springer Vienna
Edição: dezembro de 2012
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This text presents tools that aim at the formal and computer aided development of software. It discusses the theories and methods underlying the tools, applications and limits, and describes many case studies.

Da mesma coleção

Systems: Theory And Practice
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
Springer Vienna
eBook
Relational Methods In Computer Science
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
Springer Vienna
eBook
Tool Support For System Specification, Development And Verification
ISBN:
9783709163559
Ano de edição:
12-2012
Editor:
Springer Vienna
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
PDF para ADE i
Classificação Temática:
EAN:
9783709163559
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.