Zur Startseite gehen
0,00 €*
Cover: 9780521543101 | Logic in Computer Science 2ed | Michael Huth (u. a.) | Taschenbuch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Logic in Computer Science 2ed
Taschenbuch von Michael Huth (u. a.)
Sprache: Englisch

81,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
Inhaltsverzeichnis
Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.
Details
Erscheinungsjahr: 2019
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521543101
ISBN-10: 052154310X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Huth, Michael
Ryan, Mark
Hersteller: Cambridge University Press
Maße: 246 x 189 x 24 mm
Von/Mit: Michael Huth (u. a.)
Erscheinungsdatum: 22.03.2019
Gewicht: 0,849 kg
Artikel-ID: 102481844
Inhaltsverzeichnis
Foreword; 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams; Bibliography; Index.
Details
Erscheinungsjahr: 2019
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9780521543101
ISBN-10: 052154310X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Huth, Michael
Ryan, Mark
Hersteller: Cambridge University Press
Maße: 246 x 189 x 24 mm
Von/Mit: Michael Huth (u. a.)
Erscheinungsdatum: 22.03.2019
Gewicht: 0,849 kg
Artikel-ID: 102481844
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783791038407 | Sketching at work | Martin J. Eppler (u. a.) | Taschenbuch | 165 S.
Sketching at work
Über 40 starke Visualisierungs-Tools für Manager, Berater, Verkäufer, Trainer und Moderatoren
EAN: 9783791038407
Sprache: Deutsch
Von/Mit: Martin J. Eppler (u. a.)

24,99 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781449334833 | Designing with Data | Improving the User Experience with A/B Testing
Designing with Data
Improving the User Experience with A/B Testing
EAN: 9781449334833
Sprache: Englisch
Von/Mit: Rochelle King (u. a.)

49,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783864902734 | Neue Geschichten vom Scrum | Holger Koschek (u. a.) | Taschenbuch
Neue Geschichten vom Scrum
Von Führung, Lernen und Selbstorganisation in fortschrittlichen Unternehmen
EAN: 9783864902734
Sprache: Deutsch
Von/Mit: Holger Koschek (u. a.)

12,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781492045038 | Think Julia | How to Think Like a Computer Scientist | Lauwens (u. a.)
Think Julia
How to Think Like a Computer Scientist
EAN: 9781492045038
Sprache: Englisch
Von/Mit: Ben Lauwens (u. a.)

54,40 €*

Lieferzeit 1-2 Wochen

Buch
Cover: 9783030187064 | The Continuous, the Discrete and the Infinitesimal in Philosophy...
The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
EAN: 9783030187064
Sprache: Englisch
Von/Mit: John L. Bell

117,69 €*

Aktuell nicht verfügbar

Buch
Cover: 9780691225388 | The Essence of Software | Why Concepts Matter for Great Design | Buch
The Essence of Software
Why Concepts Matter for Great Design
EAN: 9780691225388
Sprache: Englisch
Von/Mit: Daniel Jackson

36,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780393541489 | The Case Against Reality: Why Evolution Hid the Truth from Our Eyes
The Case Against Reality: Why Evolution Hid the Truth from Our Eyes
EAN: 9780393541489
Sprache: Englisch
Von/Mit: Donald Hoffman

17,70 €*

Lieferzeit 1-2 Werktage

Buch
Cover: 9783658426644 | Public Cloud Potenzial in einem Unternehmensumfeld | Feil (u. a.)
Public Cloud Potenzial in einem Unternehmensumfeld
Public Cloud als neue IT-Plattform zur Steigerung des Geschäftswerts
EAN: 9783658426644
Sprache: Deutsch
Von/Mit: Niklas Feil (u. a.)

64,99 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783111352701 | Algorithmische Graphentheorie | Volker Turau (u. a.) | Taschenbuch
Algorithmische Graphentheorie
Deterministische und randomisierte Algorithmen
EAN: 9783111352701
Sprache: Deutsch
Von/Mit: Volker Turau (u. a.)

64,95 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783031580741 | Understanding Computer Organization | Patricio Buli¿ | Taschenbuch
Understanding Computer Organization
A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
EAN: 9783031580741
Sprache: Englisch
Von/Mit: Patricio Buli¿

61,95 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...