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

Av Micha Sharir, A Pnueli m. fl

Inbunden, Engelska, 2023

449 kr

Skickas inom 7-10 vardagar

Two Approaches to Interprocedural Data Flow Analysis

Av Micha Sharir, A Pnueli m. fl

Häftad, Engelska, 2023

249 kr

Skickas inom 7-10 vardagar

MetaSoft Primer

Towards a Metalanguage for Applied Denotational Semantics

Av Andrzej Blikle, D. Barstow m. fl

Häftad, Engelska, 1987

729 kr

Skickas inom 10-15 vardagar