Hybrid Parallel Execution Model For Logic-Based Specification Languages

de Tsai Jeffrey J P Tsai e Li Bing Li 

eBook
Bertrand.pt - Hybrid Parallel Execution Model For Logic-Based Specification Languages
idioma: Inglês
Editor: WORLD SCIENTIFIC PUBLISHING COMPANY
Edição: julho de 2001
10%
60,95€
Poupe 6,10€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis and transformation of reliable large-scale and complex software systems.

Hybrid Parallel Execution Model For Logic-Based Specification Languages
de Tsai Jeffrey J P Tsai e Li Bing Li 
ISBN:
9789814494199
Ano de edição:
07-2001
Editor:
WORLD SCIENTIFIC PUBLISHING COMPANY
Idioma:
Inglês
Páginas:
228
Tipo de Produto:
eBook
Formato:
PDF para ADE i
EAN:
9789814494199
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.