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

Logic in Computer Science: Modelling and Reasoning about Systems

Name: Logic in Computer Science: Modelling and Reasoning about Systems
SKU: 166980017767
Price: 77.07 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

77,07 €

The coverage of model-checking has been substantially updated. Further exercises have been added.

Jetzt bei Ebay:

Zum Angebot *

EAN:

9780521543101
UPC:

9780521543101
ISBN:

9780521543101
Format:

Paperback, 440 pages, 2nd Revised edition Edition
Breite:

17.5 cm
Gewicht:

0.49 kg
Höhe:

2.3 cm
Länge:

24.6 cm
Sprache:

Eng

Standard Shipping from outside:

SpeedPAK DDU Versandservice kostenlos - Lieferung zwischen 19. May 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland, Österreich
Versand ausgeschlossen:

Algerien , Angola , Kongo, Demokratische Republik , Ghana , Kongo, Republik , Nigeria , Togo , Guyana , Anguilla , Antigua und Barbuda , ... und weitere

Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about... | Buch | Zustand gut

Logic in Computer Science 2ed, Michael Huth, Mark Ryan

Logic in Computer Science 2ed, Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning a by Huth, Michael 052154310X

Logic in Computer Science 2ed | Michael Huth (u. a.) | Taschenbuch | Englisch

Logic in Computer Science 2ed Michael Huth (u. a.) Taschenbuch Englisch 2019

Interpolating Cubic Splines (Progress in Computer Science and Applied Logic, Ban

Michael Huth (u. a.) | Logic in Computer Science 2ed | Taschenbuch | Englisch

Multi-Valued Reasoning about Reactive Systems (Foundations and Trends (R) in

Representation Theorems in Computer Science A Treatment in Logic Engineering xiv

Adrian Groza Modelling Puzzles in First Order Logic (Taschenbuch)

Neuro Symbolic Reasoning and Learning (SpringerBriefs in Computer Science)

Multi-Valued Reasoning about Reactive Systems (Foundations and Trends (R) in

Adrian Groza Modelling Puzzles in First Order Logic (Taschenbuch) (US IMPORT)

Modelling Puzzles in First Order Logic Adrian Groza Taschenbuch xv Englisch 2021

Model-Based Reasoning in Science and Technology: Inferential Models for Logic,

Modelling Distributed Systems. (=Texts in Theoretical Computer Science). Fokkink

Epistemic Logic for AI and Computer Science J. -J Ch Meyer (u. a.) Taschenbuch

Holger Andreas | Dynamic Tractable Reasoning | Taschenbuch | Englisch (2021)

Everyday Reasoning Or The Science Of Inductive Logic (1877) George Peirce Hays

Logic in Computer Science: Modelling and Reasoning about Systems

Ähnliche Artikel

Logic in Computer Science: Modelling and Reasoning about... | Buch | Zustand gut

Logic in Computer Science 2ed, Michael Huth, Mark Ryan

Logic in Computer Science 2ed, Michael Huth, Mark Ryan

Logic in Computer Science: Modelling and Reasoning a by Huth, Michael 052154310X

Logic in Computer Science 2ed | Michael Huth (u. a.) | Taschenbuch | Englisch

Logic in Computer Science 2ed Michael Huth (u. a.) Taschenbuch Englisch 2019

Interpolating Cubic Splines (Progress in Computer Science and Applied Logic, Ban

Michael Huth (u. a.) | Logic in Computer Science 2ed | Taschenbuch | Englisch

Multi-Valued Reasoning about Reactive Systems (Foundations and Trends (R) in

Representation Theorems in Computer Science A Treatment in Logic Engineering xiv

Adrian Groza Modelling Puzzles in First Order Logic (Taschenbuch)

Neuro Symbolic Reasoning and Learning (SpringerBriefs in Computer Science)

Multi-Valued Reasoning about Reactive Systems (Foundations and Trends (R) in

Adrian Groza Modelling Puzzles in First Order Logic (Taschenbuch) (US IMPORT)

Modelling Puzzles in First Order Logic Adrian Groza Taschenbuch xv Englisch 2021

Model-Based Reasoning in Science and Technology: Inferential Models for Logic,

Modelling Distributed Systems. (=Texts in Theoretical Computer Science). Fokkink

Epistemic Logic for AI and Computer Science J. -J Ch Meyer (u. a.) Taschenbuch

Holger Andreas | Dynamic Tractable Reasoning | Taschenbuch | Englisch (2021)

Everyday Reasoning Or The Science Of Inductive Logic (1877) George Peirce Hays

Cookie Hinweis