Cover Image
Read Now

1
by Ehrig, Hartmut, Mahr, Bernd
Published 1990
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

2
Published 2004
Springer Netherlands
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

5
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Abstract Interpretation and Statistical Testing -- Approximate Verification of Probabilistic Systems...”
Cover Image
Read Now

6
by Bistarelli, Stefano
Published 2004
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

7
by Koppitz, Jörg, Denecke, Klaus
Published 2006
Springer US
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

8
Published 1991
Springer Berlin Heidelberg
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

9
Published 2000
Springer Netherlands
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

10
Published 1999
Springer Netherlands
Table of Contents: “... Differential Equation -- The Interval-Enhanced GNU Fortran Compiler -- Outer Estimation of Generalized Solution...”
Cover Image
Read Now

11
Published 1995
Springer Netherlands
Subjects: “...Compilers and Interpreters...”
Cover Image
Read Now

12
by Seagar, Andrew
Published 2023
John Wiley & Sons, Inc.
“..., King 2008) so that it can be embedded into, compiled with, and invoked directly from the user's code...”
Cover Image
Read Now

13
by Kaszkurewicz, Eugenius, Bhaya, Amit
Published 2000
Birkhäuser
“... by them, among others, producing and compiling results, properties, and examples for many years, aiming...”