Handbook of Logic and Proof Techniques for Computer Science

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 

ISBN: 081764220X
ISBN 13: 9780817642204
Autor: Krantz, Steven G
Verlag: Springer Basel AG
Umfang: xix, 245 S.
Erscheinungsdatum: 17.01.2002
Auflage: 1/2002
Produktform: Gebunden/Hardback
Einband: Gebunden
Artikelnummer: 5538605 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 …