Produktbild: Set Theory for Computing

Set Theory for Computing

Lieferzeit: Lieferbar innerhalb 14 Tagen

160,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

From Decision Procedures to Declarative Programming with Sets, Monographs in Computer Science

ISBN: 1441929053
ISBN 13: 9781441929051
Autor: Cantone, Domenico/Omodeo, Eugenio/Policriti, Alberto
Verlag: Springer Verlag GmbH
Umfang: xviii, 409 S., 1 s/w Illustr., 409 p. 1 illus.
Erscheinungsdatum: 09.10.2014
Auflage: 1/2011
Format: 2.2 x 23.4 x 15.5
Gewicht: 644 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 962268 Kategorie:

Beschreibung

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …