Computer-Aided Verification -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre192,12 €
Produit Neuf
Ou 48,03 € /mois
- Livraison à 0,01 €
- Livré entre le 18 et le 26 mai
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
- Livraison : 25,00 €
- Livré entre le 26 mai et le 5 juin
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
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Computer - Aided Verification Format Broché - Livre Littérature Générale
0 avis sur Computer - Aided Verification Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 121,18 €
-
Gerhard Richter: Sils
Occasion dès 264,99 €
-
Calvin Klein
Neuf dès 121,62 €
-
Archaeology Of The Southwest
Neuf dès 97,17 €
Occasion dès 116,99 €
-
Le Corbusier, 1910-65
Occasion dès 154,99 €
-
Echo
Occasion dès 98,99 €
-
How Children Develop
Neuf dès 114,08 €
-
Neogeo: A Visual History
Occasion dès 120,00 €
-
Reflections: Twenty-One Cinematographers At Work
Occasion dès 144,99 €
-
Ar Vag 1 - T1 - Voiles Au Travail En Bretagne Atlantique
Occasion dès 150,00 €
-
English Grammar And Composition: Complete Course Grade 12
Occasion dès 98,99 €
-
Yuko Shimizu
Occasion dès 148,40 €
-
Where Three Dreams Cross: 150 Years Of Photography From India, Pakistan And Bangladesh / 150 Jahre Fotografie Aus Indien, Pakistan Und Bangladesch
Occasion dès 195,99 €
-
Introduction To Quantum Optics
Neuf dès 142,22 €
-
Gerhard Richter
Occasion dès 186,99 €
-
New Trends In Algebraic Geometry
Neuf dès 109,20 €
-
Enseignement Oral De Platon: Une Nouvelle Interprétation Du Platonisme (French Edition)
1 avis
Occasion dès 149,99 €
-
David Yarrow
Neuf dès 123,00 €
Occasion dès 192,86 €
-
The Philip K. Dick Collection
Neuf dès 109,00 €
-
The Viniyoga Of Yoga, Applying Yoga For Healthy Living
Occasion dès 199,00 €
Produits similaires
Présentation Computer - Aided Verification Format Broché
- Livre Littérature Générale
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
Personne responsable dans l'UE