Modeling and Verification of Real-time Systems - Hardback - 2008
Nicolas Navet
Estado :
Segunda-mão: Muito bom estado
Estados : Segunda-mão: Muito bom estado
Capa, contra-capa, cantos e páginas interiores poderão apresentar pequenos defeitos estéticos.
Vendido por
País de expedição : França
Comentários do vendedor
Antigo livro de biblioteca. Capa do livro diferente. Edição 2008. Ammareal doa até 15% do valor líquido deste artigo para instituições de caridade.
Resumo
Topics addressed include mathematical models of realtime systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
Year of publication: 2008
Pagination: 448 pages, Illustrations
Format: Hardback
Serie: ISTE
Year of publication: 2008
Pagination: 448 pages, Illustrations
Format: Hardback
Serie: ISTE
Modeling and Verification of Real-time Systems - Hardback -...
Resumo
Topics addressed include mathematical models of realtime systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.
Year of publication: 2008
Pagination: 448 pages, Illustrations
Format: Hardback
Serie: ISTE
Year of publication: 2008
Pagination: 448 pages, Illustrations
Format: Hardback
Serie: ISTE
Publicidade
Avaliações dos nossos clientes
Modeling and Verification of Real-time Systems - Hardback - 2008
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
ISTE Ltd and John Wiley & Sons Inc
- Idiomas
-
Inglês
- Dimensão
-
241 x 163 x 26
- Peso
-
720
- Colecção
-
Electronics & communications engineering
- Tema
-
Systems analysis & design
- Origem
-
United Kingdom
- EAN
-
9781848210134
Publicidade
Publicidade