Menu
Află starea comenzii
Contactați-ne
Carte Automated Technology for Verification and Analysis Farn Wang

Automated Technology for Verification and Analysis

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

Autor: Farn Wang
Limbă: engleză
Legare: Carte broșată
Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
550.04 lei
This book constitutes the refereed proceedings of the Second International Conference on Automated T...

Informații despre carte

Autor
Farn Wang
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2004
Pagini
510
EAN
9783540236108
ISBN
3540236104
Enbook ID
01559985
Editura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutate
785
Dimensiuni
155 x 235 x 29

Descriere completă

This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004.§The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools.

S-ar putea să te intereseze

NEW INTERNATIOANAL BUSINESS ENGLISH STUDENTS BOOK+CD

Leo Jones
81.02 lei

Puccini the Thinker

John Louis DiGaetani
212.33 lei

Tangled Up In New York: Shakedown on the Streets...Tales of Tenacity and Pulp Solicitation

Howard F Weiner
73.89 lei

Clienții care au cumpărat această carte au mai cumpărat și

Un cadro de Picasso

Claire d' Harcourt
87.76 lei