*Search Results* - Java program analysis by symbolic execution

*to main content*

*to footer with external links*

sublabel_Solr

1
2
3
4
5
6
7
8
9
*Next*
[9]

1

Java program analysis by symbolic execution

Otto, Carsten (Verfasser)

Aachen : Universitätsbibliothek der RWTH Aachen, 2015

*eBook*

2

Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization

Fahringer, Thomas

Berlin [u.a.] : Springer, 2003

*book*

3

A first course in scientific computing : symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90

Landau, Rubin H. (Verfasser)

Princeton, NJ: Princeton University Press, 2005

*book*

4

Symbolic systems biology : theory and methods

Iyengar, M. Sriram

Sudbury, Mass. [u.a.] : Jones and Bartlett Learning, [erschienen 2010]

*book*

5

Thinking in Java

Eckel, Bruce

3. ed.

Upper Saddle River, NJ : Prentice Hall, 2003

*book*

6

Thinking in Java

Eckel, Bruce

2. ed.

Upper Saddle River, NJ : Prentice Hall, 2000

*book*

7

The Java language specification

Gosling, James

1. print.

Reading, Mass. [u.a.] : Addison-Wesley, 1996

*book*

8

C++ how to program

Deitel, Paul J.

7. ed,

Upper Saddle River, NJ : Pearson Education, 2010

*book*

9

Succeeding with object databases : a practical look at today's implementations with Java TM and XML

Chaudhri, Akmal B.

New York [u.a.] : Wiley, 2000

*book*

10

Oracle9i JDeveloper handbook : [get started building Java 2 platform, enterprise edition (J2EE) applications]

Koletzke, Peter

New York [u.a.] : Oracle Press [u.a.], 2003

*book*

11

C++ how to program

Deitel, Harvey M.

2. ed., Nachdr.

Upper saddle River, NJ : Prentice-Hall, 1998

*book*

12

Combined static and dynamic analysis

Artho, Cyrille (Verfasser)

Freiburg : Universität, 2023

*eBook*

13

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves

Berlin [u.a.] : Springer, 2004

*book*

14

Symbolic logic and mechanical theorem proving

Chang, Chin-liang

New York, N.Y. [u.a.] : Acad. Press, 1973

*book*

15

Biometric System and Data Analysis : Design, Evaluation, and Data Mining

Dunstone, Ted (Verfasser)

1st ed. 2009

New York, NY : Springer US, 2009

*eBook*

16

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Beyer, Dirk (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

*eBook*

17

Enterprise architecture at work : modelling, communication and analysis

Lankhorst, Marc

2. ed.

Berlin [u.a.] : Springer, 2009

*book*

18

Runtime Verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

Legay, Axel (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

*eBook*

19

Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings

Ramalingam, G (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

20

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

*eBook*

1
2
3
4
5
6
7
8
9
*Next*
[9]