VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- Ralph Matthes, Martin Ruckert
Logik für die Informatik
- Untertitel
- Modellierung, Programmierung, Kalkül, Beweis
- Verlag
- Springer Berlin
- ISBN/EAN
- 978-3-540-76321-5
- Status
- lieferbar
