Werkzeuge und Algorithmen für die Konstruktion und Analyse von Systemen von Lijun Zhang
Ø 0.0
0 Bewertungen
57,92 €
The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Jetzt bei Ebay:
-
EAN:9781013271274
-
UPC:9781013271274
-
ISBN:9781013271274
-
Book Title:Tools and Algorithms for the Construction and Anal
-
Item Length:27.9 cm
-
Expressversand:International Priority Shipping 12,43 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, 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, Vereinigte Arabische Emirate, Ukraine, Chile, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam, USA
-
Versand ausgeschlossen:Isle of Man , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Niue , Palau , Russische Föderation , Albanien , Andorra , Belarus , ... und weitere