Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Langue : anglais

Edité par Springer, 2026

1447175573 / 9781447175575

Vendeur : Biblios, frankfurt am main, hessen, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 10 septembre 2024

Livre broché

Etat: Neuf

EUR 106,82

EUR 9,95 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

PRINT ON DEMAND.

N° de réf. du vendeur 18404415622

Titre
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Auteur
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Éditeur
Springer
Année de publication
2026
État de l'article
New
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
1447175573
ISBN à 13 chiffres
9781447175575
Édition
2ème Édition

Biblios

frankfurt am main, hessen, Allemagne

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 10 septembre 2024

Frais d'expédition de Allemagne vers Etats-Unis

Article25 à 45 jours ouvrés8 à 14 jours ouvrés
Premier articleEUR 9,95EUR 18,70
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

Description de la boutique

We carry a wide selection of books from South Asia, United States, UK.

Spécialité

new books imported from india, uk, usa

Profil professionnel du vendeur

Readingos GmbH

Kaiserstraße 47
Frankfurt am Main, Allemagne 60329