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
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Computer Science ; 10460
Online Access:
Tags: Add Tag
Be the first to tag this record!


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ő