Werkzeuge und Algorithmen für den Aufbau und die Analyse von Systemen: 29.
Ø 0.0
0 Bewertungen
41,35 €
TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems.
Jetzt bei Ebay:
-
EAN:9783031308222
-
UPC:9783031308222
-
ISBN:9783031308222
-
Format:Paperback, 708 pages, 2023 Edition
-
Author:Sriram Sankaranarayanan (Edited by)
-
Book Title:Tools and Algorithms for the Construction and Anal
-
Item Height:3.7 cm
-
Item Length:23.4 cm
-
Item Weight:1.1 kg
-
Item Width:15.6 cm
-
Language:Eng
-
Publisher:Springer International Publishing AG
-
Expressversand:International Priority Shipping 11,98 EUR - Lieferung zwischen 11. June 2025 und 17. June 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
-
Versand ausgeschlossen:Isle of Wight , Amerikanisch-Samoa , Französisch-Polynesien , Guam , Palau , Vanuatu , Anguilla , Antigua und Barbuda , Aruba , Bahamas , ... und weitere