Verification Model Checking And Abstract Interpretation 5th International

99,00 €
+ 26,49 € Αποστολή

Verification Model Checking And Abstract Interpretation 5th International

Πωλήθηκε από:

99,00 €

Σε απόθεμα
+ 26,49 € Αποστολή

Πολιτική επιστροφών 14 ημερών

Προστασία αγοραστή

Μέθοδοι πληρωμής:


Λεπτομέρειες προϊόντος

Λεπτομέρειες προϊόντος

Verification Model Checking And Abstract Interpretation 5th International

This Volume Contains The Proceedings Of The 5th International Conference On Veri?cation, Model Checking, And Abstract Interpretation (vmcai 2004), Held Invenice,january11-13,2004,inconjunctionwithpopl2004,the31stannual Symposiumonprinciplesofprogramminglanguages,january14-16,2004.the Purposeofvmcaiistoprovideaforumforresearchersfromthreecommunities- Veri?cation, Model Checking, And Abstract Interpretation-which Will Facilitate Interaction, Cross-fertilization, And The Advance Of Hybrid Methods That Combine Thethreeareas.withthegrowingneedforformaltoolstoreasonaboutcomplex, In?nite-state, And Embedded Systems, Such Hybrid Methods Are Bound To Be Of Great Importance. Topics Covered By Vmcai Include Program Veri?cation, Static Analysis Te- Niques, Model Checking, Program Certi?cation, Type Systems, Abstract Domains, Debugging Techniques, Compiler Optimization, Embedded Systems, And Formal Analysis Of Security Protocols. This Years Meeting Follows The Four Previous Events In Port Je?erson (1997), Pisa (1998), Venice (2002), Lncs 2294 And York (2003), Lncs 2575.
  • Fruugo ID: 557219082-1125488517
  • ISBN: 9783540208037
Υπόσχεση

Εγγύηση πωλητή

Περιλαμβάνεται νόμιμη εγγύηση 2 ετών

Τα δικαιώματά σας ως καταναλωτής στην ΕΕ περιλαμβάνουν δωρεάν ελάχιστη νόμιμη εγγύηση 2 ετών

Λήψη νόμιμης εγγύησης συμμόρφωσης
Παράδοση

Διανομή

Αποστέλλεται σε 24 ώρες

  • STANDARD: 32,69 € - Παράδοση μεταξύ Τρί 10 Νοεμβρίου 2026–Τρί 08 Δεκεμβρίου 2026

Αποστέλλεται από Ηνωμένο Βασίλειο.

Επιστροφές

Επιστροφές & Ακυρώσεις

Επιστροφές

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα.

Προβολή πλήρους πολιτικής επιστροφών

Ακυρώσεις

Έχετε το δικαίωμα να υπαναχωρήσετε από την αγορά σας εντός 14 ημερών από την παραλαβή της παραγγελίας σας χωρίς να δώσετε λόγο. Για να ασκήσετε εύκολα το δικαίωμά σας, μπορείτε να χρησιμοποιήσετε τον σύνδεσμο "Ακύρωση παραγγελίας μου" στο υποσέλιδο κάθε σελίδας ή στον λογαριασμό σας στο Fruugo στην ενότητα "Παραγγελίες". Μόλις ασκήσετε το δικαίωμά σας για υπαναχώρηση, θα σας στείλουμε ένα email επιβεβαίωσης. Εάν η παραγγελία σας έχει ήδη αποσταλεί από τον λιανοπωλητή, θα σας παρέχουμε τις απαραίτητες οδηγίες επιστροφής για να διασφαλίσουμε ότι η επιστροφή χρημάτων σας θα διεκπεραιωθεί άμεσα.

Δείτε την πλήρη πολιτική ακύρωσης