VLB Suche
Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)
Drucken
Suchergebnisse
Produktdetails
- Autor
- M. Gordon, R. Milner, C.P. Wadsworth
Edinburgh LCF
- Untertitel
- A Mechanized Logic of Computation
- Verlag
- Springer-Verlag GmbH
- ISBN/EAN
- 978-3-540-38526-4
- Preis
- 21,39 EUR
- Status
- lieferbar
