KOBV-Portal

Treffer pro Seite

Treffer 1 - 1 | 1 Treffer

Alles auswählen Exportieren

Buch

Bertot, Yves ; Castéran, Pierre

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

UID:

almahu_BV019325517

Umfang: XXV, 469 S.

ISBN: 3-540-20854-2

Serie: Texts in theoretical computer science : an EATCS series

Sprache: Englisch

Fachgebiete: Informatik

RVK:

ST 130

RVK:

ST 304

RVK:

ST 233

Schlagwort(e): Automatisches Beweisverfahren ; Programmverifikation ; Automatisches Beweisverfahren ; Einführung ; Bibliografie

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012792619&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: http://www.loc.gov/catdir/enhancements/fy0813/2004103364-d.html

URL: Inhaltsverzeichnis

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

Buch

HU Berlin

UB Potsdam

Berlin VÖBB/ZLB

BTU Cottbus

TU Berlin

Treffer 1 - 1 | 1 Treffer

Kooperativer Bibliotheksverbund