Search Results for Debugging.

1.

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

Author

Blunden, Bill. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4302-5108-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

Author

Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-97492-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Beginning software engineering

Author

Stephens, Rod, author.

Preferred Shelf Number

QA76.758 .S74 2023

Electronic Access

https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52234-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Author

Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-31220-0

Format:

Availability

Online Library~1

Available:
Copies:

6.

Deductive Software Verification - The KeY Book From Theory to Practice

Author

Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49812-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Author

Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-49122-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Scripting in Java Integrating with Groovy and JavaScript

Author

Sharan, Kishori. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4842-0713-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

jQuery 2 Recipes A Problem-Solution Approach

Author

Pande, Arun. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4302-6434-7

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}