Two Approaches to Interprocedural Data Flow Analysis 1
bokomslag Two Approaches to Interprocedural Data Flow Analysis
Data & IT

Two Approaches to Interprocedural Data Flow Analysis

Micha Sharir • A Pnueli

Inbunden

489:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-11 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 142 sidor
  • 2023
  • Författare: Micha Sharir, A Pnueli
  • Format: Inbunden
  • ISBN: 9781019588352
  • Språk: Engelska
  • Antal sidor: 142
  • Utgivningsdatum: 2023-07-18
  • Förlag: Legare Street Press

Du kanske gillar

  1. bokomslag Two Approaches to Interprocedural Data Flow Analysis

    Two Approaches to Interprocedural Dat...

    A Pnueli Micha Sharir

    Pocket

    279:-
  2. bokomslag The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Co...

    Amir Pnueli Zohar Manna

    Pocket

    1009:-
  3. bokomslag Optimal Interprocedural Program Optimization

    Optimal Interprocedural Program Optim...

    Jens Knoop

    Pocket

    1009:-
  4. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Inbunden

    1999:-
  5. bokomslag Davenport-Schinzel Sequences and their Geometric Applications

    Davenport-Schinzel Sequences and thei...

    Micha Sharir

    Inbunden

    2279:-
  6. bokomslag Algorithmic Motion Planning in Robotics

    Algorithmic Motion Planning in Robotics

    Micha Sharir

    Inbunden

    479:-
  7. bokomslag Algorithmic Motion Planning in Robotics

    Algorithmic Motion Planning in Robotics

    Micha Sharir

    Pocket

    239:-
  8. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Pocket

    1999:-
  9. bokomslag Davenport-Schinzel Sequences and their Geometric Applications

    Davenport-Schinzel Sequences and thei...

    Micha Sharir

    Pocket

    719:-
  10. bokomslag The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Co...

    Amir Pnueli Zohar Manna

    Inbunden

    2219:-

Andra av samma författare

  1. bokomslag Davenport-Schinzel Sequences and their Geometric Applications

    Davenport-Schinzel Sequences and thei...

    Micha Sharir

    Pocket

    719:-
  2. bokomslag Davenport-Schinzel Sequences and their Geometric Applications

    Davenport-Schinzel Sequences and thei...

    Micha Sharir

    Inbunden

    2279:-
  3. bokomslag Planning, Geometry, and Complexity of Robot Motion

    Planning, Geometry, and Complexity of...

    John E Hopcroft, Micha Sharir, Jacob T Schwartz

    Inbunden

    459:-
  4. bokomslag Algorithmic Motion Planning in Robotics

    Algorithmic Motion Planning in Robotics

    Micha Sharir

    Inbunden

    479:-
  5. bokomslag Algorithmic Motion Planning in Robotics

    Algorithmic Motion Planning in Robotics

    Micha Sharir

    Pocket

    239:-
  6. bokomslag The Complexity of Many Cells in Arrangements of Planes and Related Problems

    The Complexity of Many Cells in Arran...

    Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir

    Inbunden

    559:-
  7. bokomslag The Complexity of Many Cells in Arrangements of Planes and Related Problems

    The Complexity of Many Cells in Arran...

    Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir

    Pocket

    329:-
  8. bokomslag Discrete and Computational Geometry

    Discrete and Computational Geometry

    Boris Aronov, Saugata Basu, Janos Pach, Micha Sharir

    Inbunden

    2869:-
  9. bokomslag Discrete and Computational Geometry

    Discrete and Computational Geometry

    Boris Aronov, Saugata Basu, Janos Pach, Micha Sharir

    Pocket

    2189:-