Behavioural types : from theory to tools /
Guardat en:
| Altres autors: | , |
|---|---|
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Delft, The Netherlands :
River Publishers,
[2017]
|
| Col·lecció: | River Publishers series in automation, control and robotics.
|
| Matèries: | |
| Accés en línia: | Click to View |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars
Types and programming languages
per: Pierce, Benjamin C.
Publicat: (2002)
per: Pierce, Benjamin C.
Publicat: (2002)
Abstact data types /
per: Dale, Nell
Publicat: (1996)
per: Dale, Nell
Publicat: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
per: Saxena, Shiti
Publicat: (2013)
per: Saxena, Shiti
Publicat: (2013)
Programming systems and languages.
per: Rosen, Saul
Publicat: (1967)
per: Rosen, Saul
Publicat: (1967)
Software engineering (a lifecycle approach) /
per: Mohapatra, Pratap K. J.
Publicat: (2010)
per: Mohapatra, Pratap K. J.
Publicat: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
per: Wheeler, Bert
Publicat: (2011)
per: Wheeler, Bert
Publicat: (2011)
Beginning c# game programming
per: Penton, Ron
Publicat: (2005)
per: Penton, Ron
Publicat: (2005)
The elements of C++ style
per: Misfeldt, Trevor, 1969-
Publicat: (2004)
per: Misfeldt, Trevor, 1969-
Publicat: (2004)
Intermediate business programming with C++
per: Voils, Don
Publicat: (2007)
per: Voils, Don
Publicat: (2007)
The Professional programmers guide to C
per: McKay, Pat
Publicat: (1989)
per: McKay, Pat
Publicat: (1989)
The Standard ML basis library
Publicat: (2004)
Publicat: (2004)
Advanced business programming with C++ 2005
per: Voils, Don
Publicat: (2007)
per: Voils, Don
Publicat: (2007)
Professional Swift(Tm) /
per: Dippery, Michael
Publicat: (2015)
per: Dippery, Michael
Publicat: (2015)
NumPy beginner's guide an action-packed guide for the easy-to-use, high performance, Python based free open source NumPy mathematical library using real-world examples /
per: Idris, Ivan
Publicat: (2013)
per: Idris, Ivan
Publicat: (2013)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
per: Nance, C. (Christopher)
Publicat: (2014)
per: Nance, C. (Christopher)
Publicat: (2014)
The art of assembly language
per: Hyde, Randall
Publicat: (2003)
per: Hyde, Randall
Publicat: (2003)
The art of Assembly language
per: Hyde, Randall
Publicat: (2010)
per: Hyde, Randall
Publicat: (2010)
Concepts of programming languages /
per: Sebesta, Robert W.
Publicat: (2004)
per: Sebesta, Robert W.
Publicat: (2004)
Programming language landscape : syntax, semantics, and implementation /
per: Marcotty, Michael, 1931-
Publicat: (1986)
per: Marcotty, Michael, 1931-
Publicat: (1986)
Programming languages : paradigm and practice /
per: Appleby, Doris
Publicat: (1991)
per: Appleby, Doris
Publicat: (1991)
Concepts of programming languages /
per: Sebesta, Robert W.
Publicat: (1993)
per: Sebesta, Robert W.
Publicat: (1993)
Principles of programming languages : design, evaluation, and implementation /
per: MacLennan, Bruce J.
Publicat: (1999)
per: MacLennan, Bruce J.
Publicat: (1999)
Programming language pragmatics (a companied by CD /
per: Scott, Michael L.
Publicat: (2000)
per: Scott, Michael L.
Publicat: (2000)
Programming languages : principles and paradigms /
per: Tucker, Allen
Publicat: (2002)
per: Tucker, Allen
Publicat: (2002)
Programming language pragmatics (a companied by CD /
per: Scott, Michael L.
Publicat: (2006)
per: Scott, Michael L.
Publicat: (2006)
Design concepts in programming languages
per: Turbak, Franklyn Albin
Publicat: (2008)
per: Turbak, Franklyn Albin
Publicat: (2008)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
per: Balbaert, Ivo
Publicat: (2014)
per: Balbaert, Ivo
Publicat: (2014)
Practical foundations for programming languages
per: Harper, Robert
Publicat: (2013)
per: Harper, Robert
Publicat: (2013)
Learn meteor : node.js and mongodb javascript platform /
per: Weil, Arnaud
Publicat: (2016)
per: Weil, Arnaud
Publicat: (2016)
Programming languages : an interpreter-based approach /
per: Kamin, Samuel N.
Publicat: (1990)
per: Kamin, Samuel N.
Publicat: (1990)
F# for quantitative finance /
per: Astborg, Johan
Publicat: (2013)
per: Astborg, Johan
Publicat: (2013)
Programming with Microsoft Visual Basic 6.0 /
per: Zak, Diane
Publicat: (2001)
per: Zak, Diane
Publicat: (2001)
Build your own framework with Visual FoxPro
per: Chazotte, Ken
Publicat: (2004)
per: Chazotte, Ken
Publicat: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
per: Erasmus, Michael
Publicat: (2012)
per: Erasmus, Michael
Publicat: (2012)
Introduction to computer science ... /
per: Hume, J.N.P
Publicat: (1990)
per: Hume, J.N.P
Publicat: (1990)
Beginning Visual C++ 6 /
per: Horton, Ivor
Publicat: (1998)
per: Horton, Ivor
Publicat: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
per: Joshi, Vijay
Publicat: (2010)
per: Joshi, Vijay
Publicat: (2010)
Character development in blender 2.5
per: Williamson, Jonathan Carter
Publicat: (2011)
per: Williamson, Jonathan Carter
Publicat: (2011)
Programming language pragmatics
per: Scott, Michael Lee, 1959-
Publicat: (2006)
per: Scott, Michael Lee, 1959-
Publicat: (2006)
Code craft the practice of writing excellent code /
per: Goodliffe, Pete
Publicat: (2006)
per: Goodliffe, Pete
Publicat: (2006)