Articles liés à Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Couverture souple
Synopsis
Automated Technology For Verification And Analysis: 6Th International Symposium, Atva 2008, Seoul, Korea, October 20-23, 2008, Proceedings BY Insup Lee, Jin-Young Choi, Sungdeok Cha, Springer, Paperback, 2008
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 354088386X
- ISBN 13 9783540883869
- ReliureBroché
- Nombre de pages448
- ÉditeurViswanathan Mahesh
Acheter D'occasion
état : Assez bonEx-library paperback in very nice... En savoir plus sur cette édition
EUR 44,27
Frais de port :
EUR 5,38
Vers Etats-Unis
Acheter neuf
En savoir plus sur cette édition
EUR 52,05
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture . / Programming and Software Engineering)
Edité par
Springer, 2008
ISBN 10 : 354088386X
ISBN 13 : 9783540883869
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur 11031
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Soft Cover. Etat : new. N° de réf. du vendeur 9783540883869
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5844511-n
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 450. N° de réf. du vendeur 26469737
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020177774
Quantité disponible : Plus de 20 disponibles
Image d'archives
Automated Technology for Verification and Analysis
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18469731
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 450 Illus. N° de réf. du vendeur 7378230
Quantité disponible : 1 disponible(s)
Image d'archives
Automated Technology for Verification and Analysis : 6th International Symposium; ATVA 2008; Seoul; Korea; October 20-23; 2008; Proceedings
impression à la demandeVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540883869_lsuk
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Automated Technology for Verification and Analysis
Edité par
Springer Berlin Heidelberg Okt 2008, 2008
ISBN 10 : 354088386X
ISBN 13 : 9783540883869
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers. 448 pp. Englisch. N° de réf. du vendeur 9783540883869
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5844511-n
Quantité disponible : 5 disponible(s)