Tools And Algorithms For The Construction And Analysis Of Systems 19th Internati

CHF 69.00
+ CHF 15.49 Versand

Tools And Algorithms For The Construction And Analysis Of Systems 19th Internati

Verkauft von:
  • product image

CHF 69.00

Auf Lager
+ CHF 15.49 Versand

14 Tage Rückgaberecht

Zahlungsmethoden:

Produktdetails

Produktdetails

Tools And Algorithms For The Construction And Analysis Of Systems 19th Internati

This Book Constitutes The Proceedings Of The 19th International Conference On Tools And Algorithms For The Construction And Analysis Of Systems, Tacas 2013, Held In Rome, Italy, In March 2013. The 42 Papers Presented In This Volume Were Carefully Reviewed And Selected From 172 Submissions. They Are Organized In Topical Sections Named: Markov Chains; Termination; Satsmt; Games And Synthesis; Process Algebra; Pushdown; Runtime Verification And Model Checking; Concurrency; Learning And Abduction; Timed Automata; Security And Access Control; Frontiers (graphics And Quantum); Functional Programs And Types; Tool Demonstrations; Explicit-state Model Checking; Bchi Automata; And Competition On Software Verification.
  • Marke: Springer Nature B.V
  • Kategorie: Computer und Internet
  • Format: Paperback
  • Autor: Springer Nature B.V
  • Verlag / Label: Springer Nature B.V
  • Sprache: English
  • Erscheinungsdatum: 2013-02-20
  • Seitenzahl: 672
  • Fruugo-ID: 557240255-1125509955
  • ISBN: 9783642367410
Lieferung

Lieferung

Versand innerhalb von 24 Stunden

  • STANDARD: CHF 15.49 - Lieferung zwischen Do. 19 November 2026–Mo. 23 November 2026

Versand aus Vereinigtes Königreich.

Rücksendung

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihren Bestellangaben an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgabebedingungen ansehen