Funktionale und logische Programmierung: 16. Internationales Symposium, FLOPS 2022,
Ø 0.0
0 Bewertungen
72,99 €
Improving Type Error Reporting for Type Classes. - Asynchronous Unfold/Fold Transformation for Fixpoint Logic. - Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. - Translation Certification for Smart Contracts.
Jetzt bei Ebay:
-
EAN:9783030994600
-
UPC:9783030994600
-
ISBN:9783030994600
-
Format:Paperback, 283 pages, 2022 Edition
-
Author:Michael Hanus (Edited by)
-
Book Title:Functional and Logic Programming: 16th Internation
-
Item Height:1.6 cm
-
Item Length:23.4 cm
-
Item Weight:0.46 kg
-
Item Width:15.6 cm
-
Language:Eng
-
Publisher:Springer Nature Switzerland AG
-
Expressversand:International Priority Shipping 13,76 EUR - Lieferung zwischen 18. July 2025 und 22. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Österreich, Belgien, Bulgarien, Republik Kroatien, Zypern, Tschechische Republik, Dänemark, Estland, Finnland, Frankreich, Deutschland, Griechenland, Ungarn, Irland, Italien, Lettland, Litauen, Luxemburg, Malta, Niederlande, Polen, Portugal, Rumänien, Slowakei, Slowenien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Bangladesch, Belize, Bermuda, Bolivien, Barbados, Brunei Darussalam, Kaimaninseln, Dominica, Ecuador, Ägypten, Guernsey, Gibraltar, Guadeloupe, Grenada, Französisch-Guayana, Island, Jersey, Jordanien, Kambodscha, St. Kitts und Nevis, St. Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Malediven, Montserrat, Martinique, Nicaragua, Oman, Pakistan, Peru, Paraguay, Réunion, Turks- und Caicosinseln, Saudi-Arabien, Südafrika, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, Vereinigte Arabische Emirate
-
Versand ausgeschlossen:Isle of Man , Israel , Türkei , Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Russische Föderation , Albanien , ... und weitere