- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Resultaten voor "Flemming Nielson"
-
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson
- Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 34
- The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ... Lees meer
€ 89,45Levering 2 à 3 weken€ 89,45Levering 2 à 3 weken -
Principles of Program Analysis
Flemming Nielson, Hanne R Nielson, Chris Hankin
- Paperback | Engels
- Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken -
Principles of Security and Trust
David Sands, Flemming Nielson
- Hardcover | Engels
- This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place... Lees meer
€ 79,95Levering 2 à 3 weken€ 79,95Levering 2 à 3 weken -
Principles of Program Analysis
Flemming Nielson, Hanne R Nielson, Chris Hankin
- Hardcover | Engels
- Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ... Lees meer
€ 79,45Levertermijn 1 à 4 weken€ 79,45Levertermijn 1 à 4 weken -
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson
- Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 34
- The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ... Lees meer
€ 220,95Levering 2 à 3 weken€ 220,95Levering 2 à 3 weken -
Semantics with Applications: An Appetizer
Hanne Riis Nielson, Flemming Nielson
- Paperback | Engels | Undergraduate Topics in Computer Science
- This book examines the important role semantics will have in the future development of software systems and domain specific languages. It presents the... Lees meer
€ 37,95Levering 1 à 2 weken€ 37,95Levering 1 à 2 weken -
Formal Methods
Flemming Nielson, Hanne Riis Nielson
- Hardcover | Engels
- This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and ... Lees meer
€ 52,95Levertermijn 1 à 4 weken€ 52,95Levertermijn 1 à 4 weken
7 van 7 resultaten getoond