Logik- und Hardwareüberprüfung höherer Ordnung von T.F. Melham (Englisch) Hardcover
Ø 0.0
0 Bewertungen
178,13 €
His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification.
Jetzt bei Ebay:
-
ISBN-13:9780521417181
-
Book Title:Higher Order Logic and Hardware Verification
-
ISBN:9780521417181
-
Economy Shipping:Economy International Shipping 7,40 EUR - Lieferung zwischen 02. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit, Neuseeland, Fidschi, Papua-Neuguinea, Wallis und Futuna, Marshallinseln, Gambia, Malaysia, Mayotte, Taiwan, Polen, Oman, Suriname, Vereinigte Arabische Emirate, Kenia, Argentinien, Guinea-Bissau, Armenien, Usbekistan, Bhutan, Senegal, Togo, Irland, Falklandinseln (Malwinen), Katar, Burundi, Niederlande, Slowakei, Slowenien, Äquatorialguinea, Thailand, Aruba, Amerikanisch-Samoa, Schweden, Island, Mazedonien, Belgien, Kuwait, Liechtenstein, Benin, Algerien, Antigua und Barbuda, Italien, Swasiland, Tansania, Pakistan, Burkina Faso, Panama, Singapur, Kirgisistan, Jersey, Schweiz, Dschibuti, Puerto Rico, Chile, China, Mali, Botsuana, Republik Kroatien, Kambodscha, Indonesien, Portugal, Malta, Tadschikistan, Vietnam, Kaimaninseln, Paraguay, St. Helena, Zypern, Seychellen, Ruanda, Bangladesch, Australien, Österreich, Sri Lanka, Gabun, Simbabwe, Bulgarien, Tschechische Republik, Norwegen, Côte d'Ivoire (Elfenbeinküste), Kiribati, Turkmenistan, Grenada, Griechenland, Haiti, Grönland, Jemen, Afghanistan, Montenegro, Mongolei, Nepal, Bahamas, Bahrain, Großbritannien, Svalbard und Jan Mayen, Dominica, Bosnien und Herzegowina, Ungarn, Angola, Samoa (Westsamoa), Frankreich, Mosambik, Namibia, Peru, Dänemark, Guatemala, Salomonen, Vatikan, Sierra Leone, Nauru, Anguilla, El Salvador, Guam, Mikronesien, Dominikanische Republik, Kamerun, Guyana, Aserbaidschan, Macau, Georgien, Tonga, San Marino, Eritrea, St. Kitts und Nevis, Marokko, St. Vincent und die Grenadinen, Mauretanien, Belize, Philippinen, Kongo, Demokratische Republik, , Kongo, Republik, Westsahara, Cookinseln, Komoren, Kolumbien, Spanien, Estland, Bermuda, Montserrat, Sambia, Südkorea, Somalia, Vanuatu, Ecuador, Albanien, Äthiopien, Monaco, Guernsey, Niger, Laos, Ghana, Kap Verde, Moldawien, Madagaskar, Saint-Pierre und Miquelon, Liberia, Bolivien, Malediven, Gibraltar, Hongkong, Zentralafrikanische Republik, Lesotho, Nigeria, Mauritius, St. Lucia, Guinea, Britische Jungferninseln, Kanada, Turks- und Caicosinseln, Tschad, Andorra, Rumänien, Costa Rica, Indien, Mexiko, Serbien, Kasachstan, Saudi-Arabien, Niederländische Antillen, Japan, Litauen, Trinidad und Tobago, Palau, Malawi, Nicaragua, Finnland, Tunesien, Luxemburg, Uganda, Brasilien, Türkei, Tuvalu, Deutschland, Ägypten, Lettland, Jamaika, Niue, Jungferninseln (USA), Südafrika, Brunei Darussalam, Honduras
-
Versand ausgeschlossen:Alaska/Hawaii , APO/FPO , Französisch-Polynesien , Libyen , Neukaledonien , Guadeloupe , Venezuela , Réunion , Barbados , Martinique , ... und weitere