Formal methods for components and objects: 9th international symposium, FMCO 2010, Graz, Aus… by Boer, Frank S. de, Aichernig, Bernhard K., Bonsangue, Marcello M., FMCO 2010, Graz, Autriche) fromLNCS sublibrary 0 Type: Book
Formal methods and software engineering: 12th International Conference on Formal Engineeri… by International Conference on Formal Engineering Methods, Shanghai, China), Dong, Jin Song, Zhu, Huibiao fromLecture Notes in Computer Science 0 Type: Book
SDL 2011: integrating system and software modeling : 15th I… by SDL Forum, Toulouse, France), Ober, Iulian, Ober, Ileana fromLNCS sublibrary 0 Type: Book
CONCUR 2011--concurrency theory: 22nd international conference, CONCUR 2011, Aache… by Katoen, Joost-Pieter, König, Barbara, International Conference on Concurrency Theory, Aachen, Germany) fromLecture Notes in Computer Science 0 Type: Book
Logic and games on automatic structures: playing with quantifiers and decompositions by Kaiser, Lukasz fromLecture Notes in Computer Science 0 Type: Book
Logic and games on automatic structures: playing with quantifiers and decompositions fromLecture Notes in Computer Science 0 Type: Book
