Static analysis / Hentenryck,Pascal Van.

By: Hentenryck,Pascal VanMaterial type: Text

TextLanguage: English Publication details: Berlin: Springer, 1997. Edition: 4th international syDescription: x,411p;26cmISBN: 3540634681DDC classification: 005.1 HEN

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	005.1 HEN (Browse shelf(Opens below))	Not for loan		11498

Total holds: 0

Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.1 HAN Algebraic and logic programming /	005.1 HAN Handbook of approximation algorithms and metaheuristics /	005.1 HAR Reliable software technologies-Ada-Europe'99 /	005.1 HEN Static analysis /	005.1 HUB Formal foundations for software engineering methods /	005.1 JAZ Software engineering-ESEC/FSE'97 /	005.1 KEY Software engineering handbook /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.