KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Nipkow, Tobias 1958- ; Paulson, Lawrence C. ; Wenzel, Markus

Berlin [u.a.] :Springer,

Dazugehörige Titel

zur Merkliste hinzufügen auf der Merkliste

UID:

almafu_BV014201123

Umfang: XIII, 218 S.

ISBN: 3-540-43376-7

Serie: Lecture notes in computer science 2283 : Tutorial

Weitere Ausg.: Erscheint auch als Online-Ausgabe ISBN 3-540-45949-9

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 304

Schlagwort(e): HOL ; Isabelle ; HOL ; Funktionale Programmierung ; HOL ; Formale Methode ; Aufsatzsammlung

URL: Inhaltsverzeichnis

URL: Kapitel 1

URL: Cover

URL: Inhaltstext

Mehr zum Autor: Nipkow, Tobias 1958-

Bibliothek	Standort	Signatur	Verfügbarkeit
HU Berlin	ZwB Naturwissenschaften, Freihandbestand	SS 4800-2283	Verfügbar
HU Berlin	ZwB Naturwissenschaften, INF/Handapparat Prof. Schweikardt	SS 4800-2283+2	Nicht verfügbar
FU Berlin	Campusbibliothek, Neubau Untergeschoss - Selbstausleihe/Nutzung vor Ort	SS 4800-2283	Präsenzbestand
UB Potsdam	UB / Magazin Babelsberg	Z 9590-2283	Verfügbar
Berlin VÖBB/ZLB	ZLB / Außenmagazin	Ma 1202 LNCS 2283	Verfügbar
TU Berlin	TU Zentralbibliothek, Magazin - bitte bestellen	8TA63081	Verfügbar

Andere fanden auch interessant ...

Buch

HU Berlin

FU Berlin

UB Potsdam Verfügbar

Berlin VÖBB/ZLB Verfügbar

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund