Behavioural types : from theory to tools /
Gardado en:
| Outros autores: | , |
|---|---|
| Formato: | Electrónico eBook |
| Idioma: | inglés |
| Publicado: |
Delft, The Netherlands :
River Publishers,
[2017]
|
| Series: | River Publishers series in automation, control and robotics.
|
| Subjects: | |
| Acceso en liña: | Click to View |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
Types and programming languages
por: Pierce, Benjamin C.
Publicado: (2002)
por: Pierce, Benjamin C.
Publicado: (2002)
Abstact data types /
por: Dale, Nell
Publicado: (1996)
por: Dale, Nell
Publicado: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
por: Saxena, Shiti
Publicado: (2013)
por: Saxena, Shiti
Publicado: (2013)
Programming systems and languages.
por: Rosen, Saul
Publicado: (1967)
por: Rosen, Saul
Publicado: (1967)
Software engineering (a lifecycle approach) /
por: Mohapatra, Pratap K. J.
Publicado: (2010)
por: Mohapatra, Pratap K. J.
Publicado: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
por: Wheeler, Bert
Publicado: (2011)
por: Wheeler, Bert
Publicado: (2011)
Beginning c# game programming
por: Penton, Ron
Publicado: (2005)
por: Penton, Ron
Publicado: (2005)
The elements of C++ style
por: Misfeldt, Trevor, 1969-
Publicado: (2004)
por: Misfeldt, Trevor, 1969-
Publicado: (2004)
Intermediate business programming with C++
por: Voils, Don
Publicado: (2007)
por: Voils, Don
Publicado: (2007)
The Professional programmers guide to C
por: McKay, Pat
Publicado: (1989)
por: McKay, Pat
Publicado: (1989)
The Standard ML basis library
Publicado: (2004)
Publicado: (2004)
Advanced business programming with C++ 2005
por: Voils, Don
Publicado: (2007)
por: Voils, Don
Publicado: (2007)
Professional Swift(Tm) /
por: Dippery, Michael
Publicado: (2015)
por: Dippery, Michael
Publicado: (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 /
por: Idris, Ivan
Publicado: (2013)
por: Idris, Ivan
Publicado: (2013)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
por: Nance, C. (Christopher)
Publicado: (2014)
por: Nance, C. (Christopher)
Publicado: (2014)
The art of assembly language
por: Hyde, Randall
Publicado: (2003)
por: Hyde, Randall
Publicado: (2003)
The art of Assembly language
por: Hyde, Randall
Publicado: (2010)
por: Hyde, Randall
Publicado: (2010)
Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (2004)
por: Sebesta, Robert W.
Publicado: (2004)
Programming language landscape : syntax, semantics, and implementation /
por: Marcotty, Michael, 1931-
Publicado: (1986)
por: Marcotty, Michael, 1931-
Publicado: (1986)
Programming languages : paradigm and practice /
por: Appleby, Doris
Publicado: (1991)
por: Appleby, Doris
Publicado: (1991)
Concepts of programming languages /
por: Sebesta, Robert W.
Publicado: (1993)
por: Sebesta, Robert W.
Publicado: (1993)
Principles of programming languages : design, evaluation, and implementation /
por: MacLennan, Bruce J.
Publicado: (1999)
por: MacLennan, Bruce J.
Publicado: (1999)
Programming language pragmatics (a companied by CD /
por: Scott, Michael L.
Publicado: (2000)
por: Scott, Michael L.
Publicado: (2000)
Programming languages : principles and paradigms /
por: Tucker, Allen
Publicado: (2002)
por: Tucker, Allen
Publicado: (2002)
Programming language pragmatics (a companied by CD /
por: Scott, Michael L.
Publicado: (2006)
por: Scott, Michael L.
Publicado: (2006)
Design concepts in programming languages
por: Turbak, Franklyn Albin
Publicado: (2008)
por: Turbak, Franklyn Albin
Publicado: (2008)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
por: Balbaert, Ivo
Publicado: (2014)
por: Balbaert, Ivo
Publicado: (2014)
Practical foundations for programming languages
por: Harper, Robert
Publicado: (2013)
por: Harper, Robert
Publicado: (2013)
Learn meteor : node.js and mongodb javascript platform /
por: Weil, Arnaud
Publicado: (2016)
por: Weil, Arnaud
Publicado: (2016)
Programming languages : an interpreter-based approach /
por: Kamin, Samuel N.
Publicado: (1990)
por: Kamin, Samuel N.
Publicado: (1990)
F# for quantitative finance /
por: Astborg, Johan
Publicado: (2013)
por: Astborg, Johan
Publicado: (2013)
Programming with Microsoft Visual Basic 6.0 /
por: Zak, Diane
Publicado: (2001)
por: Zak, Diane
Publicado: (2001)
Build your own framework with Visual FoxPro
por: Chazotte, Ken
Publicado: (2004)
por: Chazotte, Ken
Publicado: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
por: Erasmus, Michael
Publicado: (2012)
por: Erasmus, Michael
Publicado: (2012)
Introduction to computer science ... /
por: Hume, J.N.P
Publicado: (1990)
por: Hume, J.N.P
Publicado: (1990)
Beginning Visual C++ 6 /
por: Horton, Ivor
Publicado: (1998)
por: Horton, Ivor
Publicado: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
por: Joshi, Vijay
Publicado: (2010)
por: Joshi, Vijay
Publicado: (2010)
Character development in blender 2.5
por: Williamson, Jonathan Carter
Publicado: (2011)
por: Williamson, Jonathan Carter
Publicado: (2011)
Programming language pragmatics
por: Scott, Michael Lee, 1959-
Publicado: (2006)
por: Scott, Michael Lee, 1959-
Publicado: (2006)
Code craft the practice of writing excellent code /
por: Goodliffe, Pete
Publicado: (2006)
por: Goodliffe, Pete
Publicado: (2006)