Gestão e Organização

Theory Of Timed I/O Automata, Second Edition

de Nancy Lynch, Dilsun Kaynar, Frits Vaandrager e Roberto Segala 

eBook
Bertrand.pt - Theory Of Timed I/O Automata, Second Edition
idioma: Inglês
Editor: Springer International Publishing
Edição: junho de 2022
10%
37,09€
Poupe 3,71€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Table of Contents: Introduction / Mathematical Preliminaries / Describing Timed System Behavior / Timed Automata / Operations on Timed Automata / Properties for Timed Automata / Timed I/O Automata / Operations on Timed I/O Automata / Conclusions and Future Work

Da mesma coleção

ver +
Recoverable Mutual Exclusion
10%
portes grátis
10% Cartão Leitor Bertrand
47,30€
Springer International Publishing AG
Recoverable Mutual Exclusion
10%
portes grátis
10% Cartão Leitor Bertrand
47,30€
Springer International Publishing AG
Theory Of Timed I/O Automata, Second Edition
de Nancy Lynch, Dilsun Kaynar, Frits Vaandrager e Roberto Segala 
ISBN:
9783031020032
Ano de edição:
06-2022
Editor:
Springer International Publishing
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Synthesis Lectures On Distributed Computing Theory
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Gestão  >  Gestão e Organização

eBooks  >  eBooks em Inglês  >  Informática  >  Outras Aplicações

EAN:
9783031020032

Dos mesmos autores

The Theory Of Timed I/O Automata, Second Edition
37,84€
Springer International Publishing AG
More Book Please
10,29€
Go To Publish
The Theory Of Timed I/O Automata, Second Edition
37,84€
Springer International Publishing AG
The Theory Of Timed I/O Automata
52,73€
MORGAN & CLAYPOOL PUBLISHERS
The Theory Of Timed I/O Automata, Second Edition
37,84€
Springer International Publishing AG
The Theory Of Timed I/O Automata
52,73€
MORGAN & CLAYPOOL PUBLISHERS
The Theory Of Timed I/O Automata, Second Edition
37,84€
Springer International Publishing AG
The Theory Of Timed I/O Automata
52,73€
MORGAN & CLAYPOOL PUBLISHERS
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.