Articles liés à Automated Technology for Verification and Analysis:...
Automated Technology for Verification and Analysis: 8th International Symposium, Atva 2010, Singapore, September 21-24, 2010, Proceedings - Couverture souple
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2010
- ISBN 10 3642156428
- ISBN 13 9783642156427
- ReliureBroché
- Numéro d'édition1
- Nombre de pages404
- ÉditeurBouajjani Ahmed, Chin Wei-Ngan
Acheter neuf
En savoir plus sur cette édition
EUR 65,88
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image fournie par le vendeur
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science) [Paperback ]
Edité par
Springer
(2010)
ISBN 10 : 3642156428
ISBN 13 : 9783642156427
Neuf
Soft Cover
Quantité disponible : 5
Vendeur :
Evaluation vendeur
Description du livre Soft Cover. Etat : new. N° de réf. du vendeur 9783642156427
Acheter neuf
EUR 65,88
Autre devise
Image fournie par le vendeur
Automated Technology for Verification and Analysis
Edité par
Springer Berlin Heidelberg
(2010)
ISBN 10 : 3642156428
ISBN 13 : 9783642156427
Neuf
Couverture souple
Quantité disponible : 3
Vendeur :
Evaluation vendeur
Description du livre Etat : New. Invited Talks.- Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.- Abstraction Learning.- Synthesis: Words and Traces.- Regular Papers.- Promptness in ?-Regular Automata.- Using Redundant Constraints for Refinement.- Methods. N° de réf. du vendeur 5050891
Acheter neuf
EUR 67,86
Autre devise