Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings: 8739 (Lecture Notes in Computer Science)
by Elvira Albert, Emil Sekerinski
ISBN 13: 9783319101804
Format: Paperback (404 pages) Publisher: Springer Published: 15 Sep 2014
Save for later
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
by Luigia Petre, Emil Sekerinski
ISBN 13: 9781498701587
Format: Illustrated (312 pages) Publisher: Chapman and Hall/CRC Published: 14 Jun 2016