Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Automated Technology for Verification and Analysis - 11 Angebote vergleichen
Preise | Dez. 16 | Feb. 19 | Sep. 19 |
---|---|---|---|
Schnitt | € 77,99 | € 66,61 | € 73,01 |
Nachfrage |
Automated Technology for Verification and Analysis (2008)
ISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
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. eBook.
Automated Technology for Verification and Analysis (2008)
ISBN: 9783540883876 bzw. 3540883878, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
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.
Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (2008)
ISBN: 9783540883876 bzw. 3540883878, vermutlich in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis. 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (2008)
ISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 6TH INTERNATIONAL SYMPOSIUM, ATVA 2008, SEOUL, KOREA, OCTOBER 20-23, 2008, PROCEEDINGS
ISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Von Händler/Antiquariat, Romtrade Corp. [59069402], Sterling Heights, MI, U.S.A.
Brand New book. We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.
Automated Technology for Verification and Analysis (2008)
ISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Automated Technology for Verification and Analysis (2008)
ISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer Berlin, Taschenbuch, neu.
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings, Buch, Softcover, 2008.
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 6TH INTERNATIONAL SYMPOSIUM, ATVA 2008, SEOUL, KOREA, OCTOBER 20-23, 2008, PROCEEDINGS
ISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Von Händler/Antiquariat, firstbookstore [56533785], NEW DELHI, IN, India.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis
ISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2008)
ISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.