8 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Ranjit Jhala

  1. Cover: Programming Languages and Systems - Springer
    Ranjit Jhala | Atsushi Igarashi
    Programming Languages and Systems
    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    12/2012
    Springer
    9783642351822 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Compiler Construction - Springer
    Koen De Bosschere | Ranjit Jhala
    Compiler Construction
    22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642370519 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  3. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Ranjit Jhala | David Schmidt
    Verification, Model Checking, and Abstract Interpretation
    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    01/2011
    Springer
    9783642182754 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Ranjit Jhala | David Schmidt
    Verification, Model Checking, and Abstract Interpretation
    12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
    01/2011
    Springer
    9783642182747 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  5. Cover: Refinement Types - now publishers Inc
    Ranjit Jhala | Niki Vazou
    Refinement Types
    A Tutorial
    10/2021
    now publishers Inc
    9781680838848 (ISBN)
    Book
    Paperback/Softback
    €126.28
    Shipment within 10-20 days
  6. Cover: Programming Languages and Systems - Springer
    Ranjit Jhala | Atsushi Igarashi
    Programming Languages and Systems
    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    10/2012
    Springer
    9783642351815 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Compiler Construction - Springer
    Koen De Bosschere | Ranjit Jhala
    Compiler Construction
    22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
    02/2013
    Springer
    9783642370502 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  8. This image is currently not available.
    Ranjit Jhala | David Schmidt
    Verification, Model Checking, and Abstract Interpretation
    03/2011
    Springer
    9783642182761 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available