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 Trends in Functional Programming Volume 6

    Trends in Functional Programming Volu...

    Marko Van Eekelen

    Pocket

    659:-
  3. bokomslag Progress of Concurrent Objects

    Progress of Concurrent Objects

    Xinyu Feng Hongjin Liang

    Pocket

    1609:-
  4. bokomslag Neurosymbolic Programming

    Neurosymbolic Programming

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

    Pocket

    1209:-
  5. bokomslag Shape Analysis

    Shape Analysis

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

    Pocket

    1669:-
  6. bokomslag Maquillaje para Halloween de Catrina

    Maquillaje para Halloween de Catrina

    Life Daily Style

    Pocket

    259:-
  7. bokomslag Trends in Functional Programming Volume 4

    Trends in Functional Programming Volu...

    Stephen Gilmore

    Pocket

    469:-
  8. bokomslag Trends in Functional Programming Volume 3

    Trends in Functional Programming Volu...

    Sharon Curtis Kevin Hammond

    Inbunden

    659:-
  9. bokomslag Trends in Functional Programming Volume 1

    Trends in Functional Programming Volu...

    Hans-Wolfgang Loidl, Phil Trinder, Greg Michaelson

    Inbunden

    659:-
  10. bokomslag The Refinement of Rhythm, Svenska Bok 2

    The Refinement of Rhythm, Svenska Bok 2

    Bengt-Olov Palmqvist

    Spiral

    359:-