Logic for applications /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Nerode, Anil
Weitere Verfasser: Shore, Richard A.
Format: Buch
Sprache:Englisch
Veröffentlicht: New york : Springer-Verlag, 1997.
Ausgabe:2nd ed.
Schriftenreihe:Graduate texts in computer science
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!
Beschreibung
Beschreibung:456 P. ; 25 cm.
Bibliographie:Includes bibliographical references and index.
ISBN:0387948937