William Tepfenhart - Formale Methoden in der Informatik - Neuer Briefpapierkorb - J555z
Ø 0.0
0 Bewertungen
128,33 €
The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling.
Jetzt bei Ebay:
-
Fiction/Non-Fiction:Non-Fiction
-
Genre/Subject:COMPUTERS / Computer Engineering
-
Brand:Textbooks in Mathematics
-
Weight:0.45
-
Style:NA
-
Title:Formal Methods in Computer Science
-
Release Title:Formal Methods in Computer Science
-
Record Grading:New
-
Sleeve Grading:New
-
Platform:NA
-
Size:NA
-
Film/TV Title:Formal Methods in Computer Science
-
Colour:NA
-
Material:NA
-
Department:NA
-
Binding Type:Perfect
-
Item Length:234.95
-
Main Stone:NA
-
Metal Purity:NA
-
Metal:NA
-
Connectivity:NA
-
Model:NA
-
ISBN:9781498775328
-
Expressversand:International Priority Shipping 13,58 EUR - Lieferung zwischen 03. July 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Großbritannien, Antigua und Barbuda, Ö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, Spanien, Schweden, Australien, USA, Bahrain, Kanada, Brasilien, Japan, Neuseeland, China, Hongkong, Norwegen, Indonesien, Malaysia, Mexiko, Singapur, Südkorea, Schweiz, Taiwan, Thailand, 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, Aruba, Saudi-Arabien, Südafrika, Vereinigte Arabische Emirate, Ukraine, Chile, Bahamas, Kolumbien, Costa Rica, Dominikanische Republik, Guatemala, Honduras, Jamaika, Kuwait, Panama, Philippinen, Katar, El Salvador, Trinidad und Tobago, , Vietnam
-
Versand ausgeschlossen:Afghanistan , Libyen , Nauru , Somalia , Jemen , Israel , Iran , Russische Föderation
![Produktbild - Formal Methods in Computer Science (Textbooks in Mathematics) [Paperback]](https://i.ebayimg.com/thumbs/images/g/JNkAAeSwnWloSSX0/s-l140.jpg)
