Computer-Aided Verification -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

Neuf (1)

Occasion (1)

Reconditionné

192,12 €

Produit Neuf

Ou 48,03 € /mois

Livraison à 0,01 €
Livré entre le 18 et le 26 mai

Voir les modes de livraison

RiaChristie

PRO Vendeur favori

4,9/5 sur + de 1 000 ventes

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461365792_dbm

Nos autres offres

204,99 €

Occasion · Comme Neuf

Ou 51,25 € /mois

En savoir plus
- Livraison : 25,00 €
- Livré entre le 26 mai et le 5 juin
Voir les modes de livraison
USAMedia

PRO

4,6/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-mail si vous avez des questions. Notre service clientele sera ravi de vous aider. Voir moins

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Computer - Aided Verification Format Broché - Livre Littérature Générale

Note : 0 0 avis sur Computer - Aided Verification Format Broché - Livre Littérature Générale

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Computer - Aided Verification Format Broché
- Livre Littérature Générale

Livre Littérature Générale - 01/10/2012 - Broché - Langue : Anglais

Editeur : Springer Us, New York, N.Y.

Langue : Anglais

Parution : 01/10/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 152

Expédition : 242

Dimensions : 23.5 x 15.5 x 0.9

ISBN : 1461365791

Résumé :
Computer-Aided Verification is a collection of papers that begins with a general survey of hardware verification methods. Ms. Gupta starts with the issue of verification itself and develops a taxonomy of verification methodologies, focusing especially upon recent advances. Although her emphasis is hardware verification, most of what she reports applies to software verification as well. Graphical presentation is coming to be a de facto requirement for a `friendly' user interface. The second paper presents a generic format for graphical presentations of coordinating systems represented by automata. The last two papers as a pair, present a variety of generic techniques for reducing the computational cost of computer-aided verification based upon explicit computational memory: the first of the two gives a time-space trade-off, while the second gives a technique which trades space for a (sometimes predictable) probability of error. Computer-Aided Verification is an edited volume of original research. This research work has also been published as a special issue of the journal Formal Methods in System Design, 1:2-3.

Sommaire:
Editor's Introduction.- Formal Hardware Verification Methods: A Survey.- Auto/Autograph.- On-the-fly Verification of Finite Transition Systems.- Memory-Efficient Algorithms for the Verification of Temporal Properties.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Computer-Aided Verification -

Avis sur Computer - Aided Verification Format Broché - Livre Littérature Générale

Présentation Computer - Aided Verification Format Broché - Livre Littérature Générale

Présentation Computer - Aided Verification Format Broché
- Livre Littérature Générale