Behavioural types : from theory to tools /
Αποθηκεύτηκε σε:
Άλλοι συγγραφείς: | Gay, Simon (Επιμελητής έκδοσης), Ravara, Antonio (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | Αγγλικά |
Έκδοση: |
Delft, The Netherlands :
River Publishers,
[2017]
|
Σειρά: | River Publishers series in automation, control and robotics.
|
Θέματα: | |
Διαθέσιμο Online: | Click to View |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Types and programming languages
από: Pierce, Benjamin C.
Έκδοση: (2002)
από: Pierce, Benjamin C.
Έκδοση: (2002)
Abstact data types /
από: Dale, Nell
Έκδοση: (1996)
από: Dale, Nell
Έκδοση: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
από: Saxena, Shiti
Έκδοση: (2013)
από: Saxena, Shiti
Έκδοση: (2013)
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967)
από: Rosen, Saul
Έκδοση: (1967)
Software engineering (a lifecycle approach) /
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
από: Wheeler, Bert
Έκδοση: (2011)
από: Wheeler, Bert
Έκδοση: (2011)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
από: Nance, C. (Christopher)
Έκδοση: (2014)
από: Nance, C. (Christopher)
Έκδοση: (2014)
The Professional programmers guide to C
από: McKay, Pat
Έκδοση: (1989)
από: McKay, Pat
Έκδοση: (1989)
The elements of C++ style
από: Misfeldt, Trevor, 1969-
Έκδοση: (2004)
από: Misfeldt, Trevor, 1969-
Έκδοση: (2004)
The Standard ML basis library
Έκδοση: (2004)
Έκδοση: (2004)
Beginning c# game programming
από: Penton, Ron
Έκδοση: (2005)
από: Penton, Ron
Έκδοση: (2005)
Intermediate business programming with C++
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
Advanced business programming with C++ 2005
από: Voils, Don
Έκδοση: (2007)
από: Voils, Don
Έκδοση: (2007)
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 /
από: Idris, Ivan
Έκδοση: (2013)
από: Idris, Ivan
Έκδοση: (2013)
Professional Swift(Tm) /
από: Dippery, Michael
Έκδοση: (2015)
από: Dippery, Michael
Έκδοση: (2015)
The art of assembly language
από: Hyde, Randall
Έκδοση: (2003)
από: Hyde, Randall
Έκδοση: (2003)
The art of Assembly language
από: Hyde, Randall
Έκδοση: (2010)
από: Hyde, Randall
Έκδοση: (2010)
Programming language landscape : syntax, semantics, and implementation /
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
από: Marcotty, Michael, 1931-
Έκδοση: (1986)
Programming languages : paradigm and practice /
από: Appleby, Doris
Έκδοση: (1991)
από: Appleby, Doris
Έκδοση: (1991)
Principles of programming languages : design, evaluation, and implementation /
από: MacLennan, Bruce J.
Έκδοση: (1999)
από: MacLennan, Bruce J.
Έκδοση: (1999)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (2004)
από: Sebesta, Robert W.
Έκδοση: (2004)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2006)
από: Scott, Michael L.
Έκδοση: (2006)
Design concepts in programming languages
από: Turbak, Franklyn Albin
Έκδοση: (2008)
από: Turbak, Franklyn Albin
Έκδοση: (2008)
Concepts of programming languages /
από: Sebesta, Robert W.
Έκδοση: (1993)
από: Sebesta, Robert W.
Έκδοση: (1993)
Programming language pragmatics (a companied by CD /
από: Scott, Michael L.
Έκδοση: (2000)
από: Scott, Michael L.
Έκδοση: (2000)
Programming languages : principles and paradigms /
από: Tucker, Allen
Έκδοση: (2002)
από: Tucker, Allen
Έκδοση: (2002)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
από: Balbaert, Ivo
Έκδοση: (2014)
από: Balbaert, Ivo
Έκδοση: (2014)
Learn meteor : node.js and mongodb javascript platform /
από: Weil, Arnaud
Έκδοση: (2016)
από: Weil, Arnaud
Έκδοση: (2016)
Practical foundations for programming languages
από: Harper, Robert
Έκδοση: (2013)
από: Harper, Robert
Έκδοση: (2013)
Programming languages : an interpreter-based approach /
από: Kamin, Samuel N.
Έκδοση: (1990)
από: Kamin, Samuel N.
Έκδοση: (1990)
F# for quantitative finance /
από: Astborg, Johan
Έκδοση: (2013)
από: Astborg, Johan
Έκδοση: (2013)
Programming with Microsoft Visual Basic 6.0 /
από: Zak, Diane
Έκδοση: (2001)
από: Zak, Diane
Έκδοση: (2001)
Build your own framework with Visual FoxPro
από: Chazotte, Ken
Έκδοση: (2004)
από: Chazotte, Ken
Έκδοση: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
από: Erasmus, Michael
Έκδοση: (2012)
από: Erasmus, Michael
Έκδοση: (2012)
Introduction to computer science ... /
από: Hume, J.N.P
Έκδοση: (1990)
από: Hume, J.N.P
Έκδοση: (1990)
Beginning Visual C++ 6 /
από: Horton, Ivor
Έκδοση: (1998)
από: Horton, Ivor
Έκδοση: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
από: Joshi, Vijay
Έκδοση: (2010)
από: Joshi, Vijay
Έκδοση: (2010)
Character development in blender 2.5
από: Williamson, Jonathan Carter
Έκδοση: (2011)
από: Williamson, Jonathan Carter
Έκδοση: (2011)
Programming language pragmatics
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
από: Scott, Michael Lee, 1959-
Έκδοση: (2006)
Code craft the practice of writing excellent code /
από: Goodliffe, Pete
Έκδοση: (2006)
από: Goodliffe, Pete
Έκδοση: (2006)
Παρόμοια τεκμήρια
-
Types and programming languages
από: Pierce, Benjamin C.
Έκδοση: (2002) -
Abstact data types /
από: Dale, Nell
Έκδοση: (1996) -
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
από: Saxena, Shiti
Έκδοση: (2013) -
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967) -
Software engineering (a lifecycle approach) /
από: Mohapatra, Pratap K. J.
Έκδοση: (2010)