Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers: CSL '92, San Miniato, Italy, ... Workshop (Lecture Notes in Computer Science)
by
ISBN 13: 9783540569923
Format: Paperback (439 pages) Publisher: Springer Published: 11 Aug 1993
Save for later
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)
ISBN 13: 9783540006244
Format: Paperback (427 pages) Publisher: Springer Published: 21 Feb 2003
Abstract State Machines: A Method for High-Level System Design and Analysis
by Egon Börger,Robert Stärk
ISBN 13: 9783540007029
Format: Hardcover (438 pages) Publisher: Springer Published: 23 Apr 2003
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540876021
Format: Paperback (382 pages) Publisher: Springer Published: 08 Sep 2008