A Pnueli – författare

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

4 produkter

Kategorier

4 produkter

Two Approaches to Interprocedural Data Flow Analysis
AvMicha Sharir,A Pnueli
Inbunden, Engelska, 2023
469 kr
Skickas inom 5-8 vardagar
Two Approaches to Interprocedural Data Flow Analysis
AvMicha Sharir,A Pnueli
Häftad, Engelska, 2023
259 kr
Skickas inom 5-8 vardagar
MetaSoft Primer
Towards a Metalanguage for Applied Denotational Semantics
AvAndrzej Blikle,D. Barstowm. fl.
Häftad, Engelska, 1987
739 kr
Skickas inom 10-15 vardagar
LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG
AvA PNUELI H LIN,A Pnuelim. fl.
Inbunden, Engelska, 1996
2 399 kr
Tillfälligt slut