KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Dillig, Isil. ; Tasiran, Serdar.

Cham :Springer International Publishing AG,

add to watchlist on the watchlist

Details

UID:

almahu_9949972241302882

Format: 1 online resource (993 pages)

Edition: 1st ed.

ISBN: 9783030255404

Series Statement: Lecture Notes in Computer Science Series ; v.11561

Additional Edition: Print version: Dillig, Isil Computer Aided Verification Cham : Springer International Publishing AG,c2019 ISBN 9783030255398

Language: English

Keywords: Electronic books. ; Electronic books.

URL: Click to View

URL: lizenzpflichtig

URL: Click here to view book

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HU Berlin

UB Potsdam

HPol Brandenburg

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund