044 209 91 25 079 869 90 44
Merkliste
Die Merkliste ist leer.
Der Warenkorb ist leer.
Kostenloser Versand möglich
Kostenloser Versand möglich
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Logic in Computer Science 2ed

BuchKartoniert, Paperback
Verkaufsrang52107inInformatik EDV
CHF59.90
Zugehörige Produkte
Ersatzprodukt zu

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
Weitere Beschreibungen

Details

ISBN/GTIN978-0-521-54310-1
ProduktartBuch
EinbandKartoniert, Paperback
Erscheinungsdatum22.03.2019
Seiten442 Seiten
SpracheEnglisch
MasseBreite 189 mm, Höhe 246 mm, Dicke 24 mm
Gewicht849 g
Artikel-Nr.2066364
KatalogBuchzentrum
Datenquelle-Nr.9511336
WarengruppeInformatik EDV
Weitere Details

Über den/die AutorIn