Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /

Saved in:
Bibliographic Details
Corporate Author:
Other Authors:
Special Collection:e-book
Format: Book
Language:English
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Computer Science ; 10460
Subjects:
Online Access:https://doi.org/10.1007/978-3-319-63121-9
Tags: Add Tag
Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-319-63121-9

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13539 13539 Nem kölcsönözhető