Verified Software: Theories, Tools, Experiments

Langue : anglais

Edité par Springer Berlin Heidelberg, 2010

364215056X / 9783642150562

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Livre broché

Etat: Neuf

EUR 61,50

EUR 48,99 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Fast track conference proceedingUnique visibilityState of the art researchInvited Talk.- Towards Scalable Modular Checking of User-Defined Properties.- Verification Techniques.- Tressa: Claiming the Future.- Automated Verification of a Small Hypervisor.

N° de réf. du vendeur 5050710

Titre
Verified Software: Theories, Tools, Experiments
Auteur
Leavens, Gary T.|O\'Hearn, Peter|Rajamani, Sriram K.
Éditeur
Springer Berlin Heidelberg
Année de publication
2010
État de l'article
New
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
364215056X
ISBN à 13 chiffres
9783642150562
Catalogues du vendeur
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

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

Article26 à 60 jours ouvrés26 à 60 jours ouvrés
Premier articleEUR 48,99EUR 48,99
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
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Online Handel nur mit Neubüchern

Profil professionnel du vendeur

Moluna GmbH

Engberdingdamm 27
Greven, Allemagne 48268