Von dem Buch Automated Technology for Verification and Analysis haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Mahesh Viswanathan: Automated Technology for Verification and Analysis (ISBN: 9783540883876) 2008, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
100%: Sous la direction de: Sungdeok (Steve) Cha, Sous la direction de: Jin-Young Choi, Sous la direction de: Moonzoo Kim, Sous la direction de: Insup Lee, Sous la direction de: Mahesh Viswanathan: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture . Science/Programming and Software Engineering) (ISBN: 9783540883869) 2008, Erstausgabe, in Deutsch, Taschenbuch.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 |
1
Automated Technology for Verification and Analysis (2008)
DE NW EB DLISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lagernd, zzgl. Versandkosten.
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.
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.
2
Automated Technology for Verification and Analysis (2008)
EN NW EB DLISBN: 9783540883876 bzw. 3540883878, in Englisch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
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.
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.
3
Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (2008)
~EN NW EB DLISBN: 9783540883876 bzw. 3540883878, vermutlich in Englisch, Springer Berlin Heidelberg, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Symbolbild
Automated Technology for Verification and Analysis. 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (2008)
DE PB NWISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 6TH INTERNATIONAL SYMPOSIUM, ATVA 2008, SEOUL, KOREA, OCTOBER 20-23, 2008, PROCEEDINGS
DE NWISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkostenfrei.
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.
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.
6
Automated Technology for Verification and Analysis (2008)
DE PB NWISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer Berlin Heidelberg, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
Automated Technology for Verification and Analysis (2008)
DE PB NWISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei in der BRD, sofort lieferbar.
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings, Buch, Softcover, 2008.
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings, Buch, Softcover, 2008.
8
Symbolbild
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS: 6TH INTERNATIONAL SYMPOSIUM, ATVA 2008, SEOUL, KOREA, OCTOBER 20-23, 2008, PROCEEDINGS
DE NWISBN: 9783540883869 bzw. 354088386X, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
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
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
9
Automated Technology for Verification and Analysis
DE NW EB DLISBN: 9783540883876 bzw. 3540883878, in Deutsch, Springer, Berlin/Heidelberg, Deutschland, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
10
Automated Technology for Verification and Analysis (2008)
DE NW EB DLISBN: 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
Lade…