A Pnueli - Böcker

Visar alla böcker från författaren A Pnueli.
3 produkter
Micha Sharir, A Pnueli, A. Pnueli - Two Approaches to Interprocedural Data Flow Analysis, Inbunden

Two Approaches to Interprocedural Data Flow Analysis

Av Micha Sharir, A Pnueli, A. Pnueli

Inbunden, Engelska, 2023

459 kr

Skickas inom 5-8 vardagar
Micha Sharir, A Pnueli, A. Pnueli - Two Approaches to Interprocedural Data Flow Analysis, Häftad

Two Approaches to Interprocedural Data Flow Analysis

Av Micha Sharir, A Pnueli, A. Pnueli

Häftad, Engelska, 2023

259 kr

Skickas inom 5-8 vardagar
Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer - MetaSoft Primer, Häftad
Del 288 - Lecture Notes in Computer Science

MetaSoft Primer

Av Andrzej Blikle, Don Barstow, W. Brauer, P. Brinch Hansen, D. Gries, David Luckham, C. Moler, Amir Pnueli, G. Seegmuller, Josef Stoer, Niklaus Wirth, D. Barstow, D. Luckham, N. Wirth, A. Pnueli, G. Seegmüller, J. Stoer

Häftad, Engelska, 1987

729 kr

Skickas inom 7-10 vardagar