SØG - mellem flere end 8 millioner bøger:
Viser: Principles of Program Analysis
Principles of Program Analysis Vital Source e-bog
Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2015)
Principles of Program Analysis Vital Source e-bog
Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2015)
Principles of Program Analysis
Flemming Nielson, Hanne R. Nielson og Chris Hankin
(2004)
Sprog: Engelsk
om ca. 2 hverdage
Detaljer om varen
- Vital Source 180 day rentals (fixed pages)
- Udgiver: Springer Nature (Februar 2015)
- Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
- ISBN: 9783662038116R180
Bookshelf online: 180 dage fra købsdato.
Bookshelf appen: 180 dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: -1 sider kan printes ad gangen
Copy: højest -1 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Vital Source searchable e-book (Fixed pages)
- Udgiver: Springer Nature (Februar 2015)
- Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
- ISBN: 9783662038116
Bookshelf online: 365 dage fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: -1 sider kan printes ad gangen
Copy: højest -1 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Hardback: 452 sider
- Udgiver: Springer Berlin / Heidelberg (December 2004)
- Forfattere: Flemming Nielson, Hanne R. Nielson og Chris Hankin
- ISBN: 9783540654100
- 2 Data Flow Analysis. - 3 Constraint Based Analysis. - 4 Abstract Interpretation. - 5 Type and Effect Systems. - 6 Algorithms. - A Partially Ordered Sets. - A.
1 Basic Definitions. - A.
2 Construction of Complete Lattices. - A.
3 Chains. - A.
4 Fixed Points. - Concluding Remarks. - B Induction and Coinduction. - B.
1 Proof by Induction. - B.
2 Introducing Coinduction. - B.
3 Proof by Coinduction. - Concluding Remarks. - C Graphs and Regular Expressions. - C.
1 Graphs and Forests. - C.
2 Reverse Postorder. - C.
3 Regular Expressions. - Concluding Remarks. -
Index of Notation.
Kunder der købte denne bog købte også en af disse:
Security in Computing
Charles Pfleeger, Shari Pfleeger og Jonathan Margulies
om ca. 2 hverdage