Proceedings of an ACM Conference... Beweisen von Behauptungen über Programme SIGPLAN V7 #1
4,66 €
The summary for this publication relates to the then-current issues and problems of proving that a program (written in whatever computer language) correctly does what is intended to do. Next isSIGACT :SIGACT is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes.
Jetzt bei Ebay:
-
Book Title:Proceedings of an ACM Conference…Proving Assertions about Program
-
Custom Bundle:No
-
Book Series:SIGPLAN/SIGACT
-
Item Length:0 in
-
Vintage:Yes
-
Personalize:No
-
Format:Paperback
-
Language:English
-
Item Height:8.5”
-
Personalized:No
-
Features:PUR-Bound (perfect)
-
Topic:Computer programming
-
Item Width:.5 in
-
Signed:No
-
Ex Libris:No
-
Narrative Type:Nonfiction
-
Publisher:Association for Computing Machinery
-
Inscribed:No
-
Publication Year:1972
-
Type:Conference manual
-
Era:1970s
-
Author:Various Contributors
-
Genre:Programming, Programming Languages, Coding
-
Country/Region of Manufacture:United States
-
Item Weight:1 lb 1 oz
-
Intended Audience:Adults
-
Expedited shipping:eBay International Shipping 18,05 EUR - Lieferung zwischen 08. July 2025 und 17. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:USA, Neuseeland, Fidschi, Papua-Neuguinea, Wallis und Futuna, Marshallinseln, Gambia, Malaysia, Taiwan, Polen, Oman, Suriname, Vereinigte Arabische Emirate, Kenia, Argentinien, Guinea-Bissau, Armenien, Usbekistan, Bhutan, Senegal, Togo, Irland, 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, Schweiz, Dschibuti, Puerto Rico, Chile, China, Mali, Botsuana, Republik Kroatien, Kambodscha, Indonesien, Portugal, Malta, Tadschikistan, Vietnam, Kaimaninseln, Paraguay, 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, Nepal, Bahamas, Bahrain, Großbritannien, 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, Kolumbien, Spanien, Estland, Bermuda, Montserrat, Sambia, Südkorea, Vanuatu, Ecuador, Albanien, Äthiopien, Monaco, Niger, Ghana, Kap Verde, Moldawien, Madagaskar, Libanon, Liberia, Bolivien, Malediven, Gibraltar, Hongkong, Zentralafrikanische Republik, Lesotho, Nigeria, Mauritius, St. Lucia, Jordanien, Guinea, Kanada, Turks- und Caicosinseln, Tschad, Andorra, Rumänien, Costa Rica, Indien, Mexiko, Serbien, Kasachstan, Saudi-Arabien, Japan, Litauen, Trinidad und Tobago, Palau, Malawi, Nicaragua, Finnland, Tunesien, Luxemburg, Uganda, Brasilien, Türkei, Deutschland, Ägypten, Lettland, Jamaika, Jungferninseln (USA), Brunei Darussalam, Honduras
-
Versand ausgeschlossen:Französisch-Polynesien , Libyen , Neukaledonien , Guadeloupe , Venezuela , Réunion , Barbados , Martinique , Französisch-Guayana , Israel , ... und weitere
