UID:
almahu_9949972241302882
Umfang:
1 online resource (993 pages)
Ausgabe:
1st ed.
ISBN:
9783030255404
Serie:
Lecture Notes in Computer Science Series ; v.11561
Weitere Ausg.:
Print version: Dillig, Isil Computer Aided Verification Cham : Springer International Publishing AG,c2019 ISBN 9783030255398
Sprache:
Englisch
Schlagwort(e):
Electronic books.
;
Electronic books.
URL:
Click here to view book