A Pnueli – författare

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

4 produkter

1. 

   Two Approaches to Interprocedural Data Flow Analysis

   Av Micha Sharir, A Pnueli

   Inbunden, 2023

   469 kr

   Lägg i varukorg

2. 

   Two Approaches to Interprocedural Data Flow Analysis

   Av Micha Sharir, A Pnueli

   Häftad, 2023

   269 kr

   Lägg i varukorg

3. 

   MetaSoft Primer

   Towards a Metalanguage for Applied Denotational Semantics

   Av Andrzej Blikle, D. Barstow m. fl.

   Häftad, 1987

   729 kr

   Lägg i varukorg

4. 

   LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG

   Av A PNUELI H LIN, A Pnueli m. fl.

   Inbunden, 1996

   2399 kr

   Tillfälligt slut