Liknande böcker

Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Scie...
Bok av Rudiger Reischuk
Fundamental Approaches to Software Engineering : First International Con...
Bok av Egidio Astesiano
Algebraic and Logic Programming
Bok av Michael Hanus
Language Prototyping: An Algebraic Specification Approach
Bok av Jan Heering Paul Klint
Design and Implementation of Symbolic Computation Systems
Bok
Mathematical Foundations of Programming Semantics : 7th International Co...
Bok av Stephen Brookes
Fundamental Approaches to Software Engineering
Bok av Heinrich Hussmann

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Bok av C B Jones