Das Buch ist derzeit nicht auf Lager

Isabelle, HOL

Autoren

Tobias Nipkow

Parameter

Kategorien

Informatik & Programmierung

Reihe: Lecture notes in computer science

Buchkauf

Isabelle, HOL, Tobias Nipkow

Sprache
Erscheinungsdatum: 2002

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Feedback senden