Das Buch ist derzeit nicht auf Lager
Isabelle, HOL
Autoren
Parameter
Buchkauf
Isabelle, HOL, Tobias Nipkow
- Sprache
- Erscheinungsdatum
- 2002
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Isabelle, HOL
- Sprache
- Englisch
- Autor*innen
- Tobias Nipkow
- Verlag
- Springer
- Erscheinungsdatum
- 2002
- ISBN10
- 3540433767
- ISBN13
- 9783540433767
- Reihe
- Lecture notes in computer science
- Kategorie
- Informatik & Programmierung