Handbook of Logic and Proof Techniques for Computer Science

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

ISBN: 146126619X
ISBN 13: 9781461266198
Autor: Krantz, Steven G
Verlag: Springer Basel AG
Umfang: xix, 245 S.
Erscheinungsdatum: 23.10.2012
Auflage: 1/2012
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 5644703 Kategorie:

Beschreibung

A concise and essential resource for basic logic concepts, methods and information. The book is an excellent resource for the working mathematical scientist. Graduate students, practitioners and professionals in computer science and engineering, or the systems scientist who needs a quick sketch of a key idea from logic, will find it in this self-contained, accessible, and easy-to-use reference.

Herstellerkennzeichnung:


Springer Basel AG in Springer Science + Business Media
Heidelberger Platz 3
14197 Berlin
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …