Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Grundlagen der Logik und Berechnung: Mit praktischem automatisierten Denken und

Ø 0.0

0 Bewertungen

31,43 €

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9783030878849
UPC:

9783030878849
ISBN:

9783030878849
Format:

Paperback, 222 pages, 2021 Edition
Author:

Zhe Hou
Book Title:

Fundamentals of Logic and Computation: With Practi
Item Height:

1.2 cm
Item Length:

23.4 cm
Item Weight:

0.36 kg
Item Width:

15.6 cm
Language:

Eng
Publisher:

Springer

Expressversand:

International Priority Shipping 11,52 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 , Anguilla , Antigua und Barbuda , Aruba , Bahamas , Puerto Rico , Guyana , Indonesien , Malaysia , Thailand , ... und weitere