Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Main Author: | Blass, Andreas |
---|---|
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Dershowitz, Nachum, Reisig, Wolfgang |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Series: | Lecture Notes in Computer Science
6300 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/978-3-642-15025-8 |
Similar Items
-
Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday
by: Engels, Gregor
Published: (2010) -
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
by: MΓ©ry, Dominique
Published: (2010) -
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by: Chatterjee, Krishnendu
Published: (2010) -
Tests and Proofs 4th International Conference, TAP 2010, MΓ'laga, Spain, July 1-2, 2010. Proceedings
by: Fraser, Gordon
Published: (2010) -
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
by: Barringer, Howard
Published: (2010)