Tools and Algorithms for the Construction and Analysis of Systems

Langue : anglais

Edité par Springer Nature Switzerland AG, CH, 2026

3032227518 / 9783032227515

Vendeur : Rarewaves.com USA, London, London, Royaume-UniRarewaves.com USA

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Afficher les articles de ce vendeur
Livre broché

Etat: Neuf

EUR 58,64

 Frais de port gratuits 
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11-16, 2026.The 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions. They were organized in topical sections as follows: Part I: SAT/SMT; Proofs and QUantified Elimination; Automata; Verification of Probabilistic Systems; Cyber-Physical Systems; Part II: Software Verification; Program Verification; Java Analysis; Hardware Verification and Model Checking; Quantum; SV-COMP.

N° de réf. du vendeur LU-9783032227515

Titre
Tools and Algorithms for the Construction and Analysis of Systems
Auteur
Junges, Sebastian
Éditeur
Springer Nature Switzerland AG, CH
Année de publication
2026
État de l'article
New
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3032227518
ISBN à 13 chiffres
9783032227515

Rarewaves.com USA

London, London, Royaume-Uni

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2025

Frais d'expédition de Royaume-Uni vers Etats-Unis

Article7 à 12 jours ouvrés7 à 12 jours ouvrés
Premier articleEUR 0,00EUR 0,00
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

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

Profil professionnel du vendeur

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Royaume-Uni W1W 8BE