Refinement Types 1
bokomslag Refinement Types
Data & IT

Refinement Types

Ranjit Jhala • Niki Vazou

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:-

  • 180 sidor
  • 2021
  • Författare: Ranjit Jhala, Niki Vazou
  • Format: Pocket/Paperback
  • ISBN: 9781680838848
  • Antal sidor: 180
  • Utgivningsdatum: 2021-10-05
  • Förlag: now publishers Inc

Du kanske gillar

  1. bokomslag QED at Large

    QED at Large

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

    Pocket

    1119:-
  2. bokomslag Progress of Concurrent Objects

    Progress of Concurrent Objects

    Xinyu Feng Hongjin Liang

    Pocket

    1609:-
  3. bokomslag Neurosymbolic Programming

    Neurosymbolic Programming

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

    Pocket

    1209:-
  4. bokomslag Shape Analysis

    Shape Analysis

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

    Pocket

    1669:-
  5. bokomslag Maquillaje para Halloween de Catrina

    Maquillaje para Halloween de Catrina

    Life Daily Style

    Pocket

    259:-
  6. bokomslag The Refinement of Rhythm, Svenska Bok 2

    The Refinement of Rhythm, Svenska Bok 2

    Bengt-Olov Palmqvist

    Spiral

    359:-
  7. bokomslag Programming Languages and Systems

    Programming Languages and Systems

    Atsushi Igarashi Ranjit Jhala

    Pocket

    749:-
  8. bokomslag ????????? Refinement Operation of Review Platform

    ????????? Refinement Operation of Rev...

    ???, 徐文俊, ¿¿¿

    Pocket

    419:-
  9. bokomslag Trends in Functional Programming Volume 6

    Trends in Functional Programming Volu...

    Marko Van Eekelen

    Pocket

    659:-
  10. bokomslag Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abs...

    David Schmidt Ranjit Jhala

    Pocket

    749:-