Patrick Cousot: Computer Scientist, Abstract Interpretation, Formal Methods -
-40% ar kodu BOOKS
Piegāde 15-21 darba dienu laikā
30 dienu atgriešanas politika
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Patrick Cousot (born 3 December 1948) is a French computer scientist.Cousot is the originator of abstract interpretation, an influential technique in formal methods. In the 2000s, he has worked on practical methods of static analysis for critical embedded software, such as found in ... Pilns apraksts
Jums varētu patikt arī
Aprašymas
Vairāk informācijas
| Izdevējs | OmniScriptum |
|---|---|
| Izlaides gads | 2026 |
| Vāka tips | Mīkstais vāks |
| EAN | 9786133682115 |