Shape Analysis 1
bokomslag Shape Analysis
Data & IT

Shape Analysis

Bor-Yuh Evan Chang • Cezara Dragoi • Roman Manevich • Noam Rinetzky • Xavier Rival

Pocket

1669:-

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

Uppskattad leveranstid 3-8 arbetsdagar

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

  • 170 sidor
  • 2020
  • Författare: Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
  • Format: Pocket/Paperback
  • ISBN: 9781680837322
  • Språk: Engelska
  • Antal sidor: 170
  • Utgivningsdatum: 2020-10-05
  • Förlag: now publishers Inc

Du kanske gillar

  1. bokomslag Updating Neanderthals

    Updating Neanderthals

    Francesca Romagnoli, Florent Rivals, Stefano Benazzi, Francesca Romagnoli, Florent Rivals

    1879:-
  2. bokomslag Progress of Concurrent Objects

    Progress of Concurrent Objects

    Xinyu Feng Hongjin Liang

    Pocket

    1609:-
  3. bokomslag Refinement Types

    Refinement Types

    Niki Vazou Ranjit Jhala

    Pocket

    1669:-
  4. bokomslag QED at Large

    QED at Large

    Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock

    Pocket

    1119:-
  5. bokomslag Neurosymbolic Programming

    Neurosymbolic Programming

    Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama

    Pocket

    1209:-
  6. bokomslag On Nature and Language

    On Nature and Language

    Noam Chomsky, Noam Chomsky, Luigi Rizzi, Chomsky Noam, Adriana Belletti

    Pocket

    479:-
  7. bokomslag American Affective Polarization in Comparative Perspective

    American Affective Polarization in Co...

    Noam Gidron, James Adams, Will Horne, Noam Gidron, James Adams

    309:-
  8. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Bor-Yuh Evan Chang

    Pocket

    749:-
  9. bokomslag Static Analysis

    Static Analysis

    Bor-Yuh Evan Chang

    Pocket

    749:-
  10. bokomslag Common Agricultural Policy and Romanian Agriculture, The

    Common Agricultural Policy and Romani...

    Jean Vasile Andrei, Mihaela Cristina Dragoi, Jean Vasile Andrei, Mihaela Cristina Dragoi, David Hemming

    Inbunden

    1589:-

Andra av samma författare

  1. bokomslag Introduction to Static Analysis

    Introduction to Static Analysis

    Xavier Rival, Kwangkeun Yi, Xavier Rival, Kwangkeun Yi

    Klotband

    1219:-
  2. bokomslag Static Analysis

    Static Analysis

    Bor-Yuh Evan Chang

    Pocket

    749:-
  3. bokomslag Static Analysis

    Static Analysis

    Cezara Dr?Goi, Suvam Mukherjee, Kedar Namjoshi, Cezara Dragoi, Cezara DrăGoi

    Pocket

    1189:-
  4. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Cezara Dragoi, Michael Emmi, Jingbo Wang

    Pocket

    1119:-
  5. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Bor-Yuh Evan Chang

    Pocket

    749:-
  6. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    Xavier Rival Kenneth McMillan

    Pocket

    749:-
  7. bokomslag Static Analysis

    Static Analysis

    Xavier Rival

    Pocket

    749:-