Symbolic Algebraic Methods and Verification Methods
Uloženo v:
| Další autoři: | Alefeld, Götz (Spolupracovník), Rump, Siegfried (Spolupracovník), Rohn, Jiří (Spolupracovník), Yamamoto, Tetsuro (Spolupracovník) |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Autre(s) contributeur(s) : Tetsuro Yamamoto Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Symbolic algebraic methods and verification methods, Göetz Alefeld ... [et al.] (eds.), Wien, Springer, 2001, 1 vol. (IX-266 p.), SpringerMathematics, 3-211-83593-8 |
Podobné jednotky
-
Symbolic Simulation Methods for Industrial Formal Verification
(Livre numérique)
Jones, Robert B. -
Scalable Hardware Verification with Symbolic Simulation
(Livre numérique)
Bertacco, Valeria
Springer US, 2006 - Symbolic and algebraic computation : EUROSAM '79, an International symposium on symbolic and algebraic manipulation, Marseille, France, June 1979 (Livre numérique)
- Algebraic methods : theory, tools and applications (Livre numérique)
- Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4 8, 1988 : proceedings (Livre numérique)

