Tools and Algorithms for the Construction and Analysis of Systems

Lingua: inglese

Editore: Springer, Springer Apr 2024, 2024

3031572459 / 9783031572456

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 42,79

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -SAT and SMT Solving.- DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories.- Z3-Noodler: An Automata-based String Solver.- TaSSAT: Transfer and Share SAT.- Speculative SAT modulo SAT.- Happy Ending: An Empty Hexagon in Every Set of 30 Points.- Synthesis.- Fully Generalized Reactivity(1) Synthesis.- Knor: reactive synthesis using Oink.- On Dependent Variables in Reactive Synthesis.- CESAR: Control Envelope Synthesis via Angelic Refinements.- Logic and Decidability.- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains.- Deciding Boolean Separation Logic via Small Models.- Asynchronous Subtyping by Trace Relaxation.- Program Analysis and Proofs.- SootUp: A Redesign of the Soot Static Analysis Framework.- Formally verified asymptotic consensus in robust networks.- Formally Verifying an Efficient Sorter.- Explainable Online Monitoring of Metric First-Order Temporal Logic.- Proof Checking.- IsaRare: Automatic Veri cation of SMT Rewrites in Isabelle/HOL.- Automate where Automation Fails: Proof Strategies for Frama-C/WP.- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification.- A Logical Treatment of Finite Automata.- A State-of-the-Art Karp-Miller Algorithm Certified in Coq.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 424 pp. Englisch.…

Codice articolo 9783031572456

Titolo
Tools and Algorithms for the Construction and Analysis of Systems
Autore
Bernd Finkbeiner
Editore
Springer, Springer Apr 2024
Anno di pubblicazione
2024
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
3031572459
ISBN 13
9783031572456
Peso dell'articolo
639 grammi
Dimensioni
235x155x23 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania