Photo 1 sur 1
Vérification des systèmes et circuits à l'aide de LOTOS, filets de Pétri et CCS par Michael
État :
3 disponibles
Prix :
154,34 $US
Environ210,39 $C
- Achat immédiatVérification des systèmes et circuits à l'aide de LOTOS, filets de Pétri et CCS par Michael
Expédition :
Lieu : Fairfield, Ohio, États-Unis
Livraison :
Livraison prévue entre le mar. 18 juin et le sam. 29 juin à 43230
Renvois :
Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois
Paiements :
Magasinez en toute confiance
Informations sur le vendeur
- 98,3% d'évaluations positives
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :394849661166
Dernière mise à jour : mars 19, 2024 10:43:21 HAEAfficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- ISBN-13
- 9780471704492
- Book Title
- Verification of Systems and Circuits Using LOTOS, Petri Nets, and
- ISBN
- 9780471704492
- Publication Name
- Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
- Item Length
- 9.6in
- Publisher
- Wiley & Sons, Incorporated, John
- Publication Year
- 2008
- Series
- Wiley Series on Parallel and Distributed Computing Ser.
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.9in
- Item Width
- 6.4in
- Item Weight
- 19.2 Oz
- Number of Pages
- 248 Pages
À propos de ce produit
Product Information
A Step-by-Step Guide to Verification of Digital Systems This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of three powerful verification toolsets: LOTOS-based CADP, Petri nets-based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters, as well as many other verification examples. Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.
Product Identifiers
Publisher
Wiley & Sons, Incorporated, John
ISBN-10
0471704490
ISBN-13
9780471704492
eBay Product ID (ePID)
57008075
Product Key Features
Publication Name
Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
Format
Hardcover
Language
English
Publication Year
2008
Series
Wiley Series on Parallel and Distributed Computing Ser.
Type
Textbook
Number of Pages
248 Pages
Dimensions
Item Length
9.6in
Item Height
0.9in
Item Width
6.4in
Item Weight
19.2 Oz
Additional Product Features
Series Volume Number
53
Lc Classification Number
Tk7874.58.Y64 2008
Copyright Date
2008
Topic
Systems Architecture / Distributed Systems & Computing, Programming / Parallel, Computer Engineering
Lccn
2007-033487
Dewey Decimal
621.3815/48
Intended Audience
Scholarly & Professional
Dewey Edition
22
Illustrated
Yes
Genre
Computers
Description de l'objet du vendeur
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :394849661166
Dernière mise à jour : mars 19, 2024 10:43:21 HAEAfficher toutes les modificationsAfficher toutes les modifications
Expédition et manutention
Lieu où se trouve l'objet :
Fairfield, Ohio, États-Unis
Expédition :
Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert
Lieux exclus :
Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela
| Expédition et manutention | Chaque objet supplémentaire | À | Service | Livraison*Voir les remarques sur la livraison |
|---|---|---|---|---|
| Expédition sans frais | Sans frais | États-Unis | Economy Shipping | Livraison prévue entre le mar. 18 juin et le sam. 29 juin à 43230 |
| Délai de manutention |
|---|
| Expédition dans les 10 jours ouvrables après réception du paiement. |
| Taxes |
|---|
| Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay. |
Taxe de vente pour cet objet (394849661166)
Taxe de vente pour cet objet (394849661166)
Le vendeur facture une taxe de vente pour les États suivants :
| État | Taux de la taxe de vente |
|---|
Modalités de renvoi
| Après réception de l'objet, contactez le vendeur dans un délai de | Mode de remboursement |
|---|---|
| 30 jours | Remboursement |
Les frais d'expédition du renvoi sont à la charge de l'acheteur.
Détails du paiement
Modes de paiement
Évaluations comme vendeur (1 024 275)
1***d (263)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
The order arrived faster than anticipated. The book is in mint condition, and was well protected by the recyclable packaging. Highly recommend this seller.
0***0 (124)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
A+
d***n (352)- Évaluation laissée par l'acheteur.
Dernier mois
Achat vérifié
Just what I expected...