KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Salwicki, A.

Berlin, Heidelberg : Springer Berlin Heidelberg

add to watchlist on the watchlist

Details

UID:

gbv_1649200633

Format: Online-Ressource

ISBN: 9783540394457

Series Statement: Lecture Notes in Computer Science 148

Additional Edition: ISBN 9783540119814

Additional Edition: Buchausg. u.d.T. Logics of programs and their applications Berlin [u.a.] : Springer, 1983 ISBN 3540119817

Additional Edition: ISBN 0387119817

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Programmierlogik ; Programmierung ; Programmierung ; Programmierlogik ; Konferenzschrift

DOI: 10.1007/3-540-11981-7

URL: Volltext

URL: Cover

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Stabi Berlin

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund