Logic and Computation | Interactive Proof with Cambridge Lcf | Paulson | Buch
Ø 0.0
0 Bewertungen
82,95 €
Titel: Logic and Computation | Zusatz: Interactive Proof with Cambridge Lcf | Medium: Taschenbuch | Autor: Lawrence C. Paulson | Einband: Kartoniert / Broschiert | Sprache: Englisch | Seiten: 320 | Maße: 246 x 189 x 17 mm | Erschienen: 09.06.2003 | Anbieter: Anja's.
Jetzt bei Ebay:
-
Buchtitel:Logic and Computation
-
Autor:Lawrence C. Paulson
-
Sprache:Englisch
-
Erscheinungsjahr:2003
-
Anzahl der Seiten:320
-
Marke:Cambridge University Press
-
Hersteller:Cambridge University Press
-
Verlag:Cambridge University Press
-
Format:Taschenbuch
-
Genre:Importe
-
Titelzusatz:Interactive Proof with Cambridge Lcf
-
Schlagworte:Informatik, EDV, IT-Zertifizierung
-
Herstellungsland und -region:Deutschland
-
ISBN:0521395607
-
Standardversand:Deutsche Post Brief kostenlos - Lieferung zwischen 27. June 2025 und 30. June 2025 (bei heutigem Zahlungseingang)
-
Standardversand:DHL Paket 2,00 EUR - Lieferung zwischen 21. June 2025 und 27. June 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Deutschland
-
Versand ausgeschlossen:Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere