Handbook of Logic and Proof Techniques for Computer Science - Couverture rigide

Krantz, Steven G.

 
9780817642204: Handbook of Logic and Proof Techniques for Computer Science
Couverture rigide
ISBN 10 : 081764220X ISBN 13 : 9780817642204
Editeur : Birkhauser Boston Inc, 2002

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Birkhauser Boston Inc
Date d'édition
2002
Langue
anglais
ISBN 10 
081764220X
ISBN 13 
9780817642204
Reliure
Relié
Nombre de pages
264
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781461266198: Handbook of Logic and Proof Techniques for Computer Science

Edition présentée

ISBN 10 :  146126619X ISBN 13 :  9781461266198
Editeur : Birkhäuser, 2012
Couverture souple