A Pnueli - Böcker

Visar alla böcker från författaren A Pnueli.

3 produkter

Kategorier

3 produkter

Two Approaches to Interprocedural Data Flow Analysis

AvMicha Sharir,A Pnueli,A. Pnueli

Inbunden, Engelska, 2023

439 kr

Skickas inom 5-8 vardagar

Two Approaches to Interprocedural Data Flow Analysis

AvMicha Sharir,A Pnueli,A. Pnueli

Häftad, Engelska, 2023

249 kr

Skickas inom 5-8 vardagar

MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics

AvAndrzej Blikle,D. Barstow,W. Brauer,P. Brinch Hansen,D. Gries,D. Luckham,C. Moler,A. Pnueli,G. Seegmüller,J. Stoer,N. Wirth

Häftad, Engelska, 1987

709 kr

Skickas inom 10-15 vardagar