Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Lamport, Leslie

45 évaluations par Goodreads

Langue : anglais

Edité par Addison-Wesley Professional, 2002

032114306X / 9780321143068

Vendeur : thebookforest.com, San Rafael, CA, Etats-Unisthebookforest.com

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 3 janvier 2023

Livre broché

Etat: Occasion - Satisfaisant

EUR 30,12

EUR 4,47 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

N° de réf. du vendeur BAY0-01041

Titre
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Auteur
Lamport, Leslie
Éditeur
Addison-Wesley Professional
Année de publication
2002
État de l'article
Good
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
032114306X
ISBN à 13 chiffres
9780321143068

thebookforest.com

San Rafael, CA, Etats-Unis

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 3 janvier 2023

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 4,47EUR 8,05
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

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.