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