Produktinfo
Formalisieren und beweisen : Logik für Informatiker
von Siefkes, Dirk
Braunschweig : Vieweg
9783528047573
Jahr: 1990
XIII, 259 Seiten
Broschiert
Bestellnummer: 1684169
Beschreibung
Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...) - leichte altersbedingte Anbräunung des Papiers - der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen.
books4less - ein Shop
des Versandantiquariats
Petra Gros