Behavioural types : from theory to tools /
Sábháilte in:
Rannpháirtithe: | Gay, Simon (Eagarthóir), Ravara, Antonio (Eagarthóir) |
---|---|
Formáid: | Leictreonach Ríomhleabhar |
Teanga: | Béarla |
Foilsithe / Cruthaithe: |
Delft, The Netherlands :
River Publishers,
[2017]
|
Sraith: | River Publishers series in automation, control and robotics.
|
Ábhair: | |
Rochtain ar líne: | Click to View |
Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
Types and programming languages
de réir: Pierce, Benjamin C.
Foilsithe / Cruthaithe: (2002)
de réir: Pierce, Benjamin C.
Foilsithe / Cruthaithe: (2002)
Abstact data types /
de réir: Dale, Nell
Foilsithe / Cruthaithe: (1996)
de réir: Dale, Nell
Foilsithe / Cruthaithe: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
de réir: Saxena, Shiti
Foilsithe / Cruthaithe: (2013)
de réir: Saxena, Shiti
Foilsithe / Cruthaithe: (2013)
Programming systems and languages.
de réir: Rosen, Saul
Foilsithe / Cruthaithe: (1967)
de réir: Rosen, Saul
Foilsithe / Cruthaithe: (1967)
Software engineering (a lifecycle approach) /
de réir: Mohapatra, Pratap K. J.
Foilsithe / Cruthaithe: (2010)
de réir: Mohapatra, Pratap K. J.
Foilsithe / Cruthaithe: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
de réir: Wheeler, Bert
Foilsithe / Cruthaithe: (2011)
de réir: Wheeler, Bert
Foilsithe / Cruthaithe: (2011)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
de réir: Nance, C. (Christopher)
Foilsithe / Cruthaithe: (2014)
de réir: Nance, C. (Christopher)
Foilsithe / Cruthaithe: (2014)
The Professional programmers guide to C
de réir: McKay, Pat
Foilsithe / Cruthaithe: (1989)
de réir: McKay, Pat
Foilsithe / Cruthaithe: (1989)
The elements of C++ style
de réir: Misfeldt, Trevor, 1969-
Foilsithe / Cruthaithe: (2004)
de réir: Misfeldt, Trevor, 1969-
Foilsithe / Cruthaithe: (2004)
The Standard ML basis library
Foilsithe / Cruthaithe: (2004)
Foilsithe / Cruthaithe: (2004)
Beginning c# game programming
de réir: Penton, Ron
Foilsithe / Cruthaithe: (2005)
de réir: Penton, Ron
Foilsithe / Cruthaithe: (2005)
Intermediate business programming with C++
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
Advanced business programming with C++ 2005
de réir: Voils, Don
Foilsithe / Cruthaithe: (2007)
de réir: Voils, Don
Foilsithe / Cruthaithe: (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 /
de réir: Idris, Ivan
Foilsithe / Cruthaithe: (2013)
de réir: Idris, Ivan
Foilsithe / Cruthaithe: (2013)
Professional Swift(Tm) /
de réir: Dippery, Michael
Foilsithe / Cruthaithe: (2015)
de réir: Dippery, Michael
Foilsithe / Cruthaithe: (2015)
The art of assembly language
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2003)
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2003)
The art of Assembly language
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2010)
de réir: Hyde, Randall
Foilsithe / Cruthaithe: (2010)
Programming language landscape : syntax, semantics, and implementation /
de réir: Marcotty, Michael, 1931-
Foilsithe / Cruthaithe: (1986)
de réir: Marcotty, Michael, 1931-
Foilsithe / Cruthaithe: (1986)
Programming languages : paradigm and practice /
de réir: Appleby, Doris
Foilsithe / Cruthaithe: (1991)
de réir: Appleby, Doris
Foilsithe / Cruthaithe: (1991)
Principles of programming languages : design, evaluation, and implementation /
de réir: MacLennan, Bruce J.
Foilsithe / Cruthaithe: (1999)
de réir: MacLennan, Bruce J.
Foilsithe / Cruthaithe: (1999)
Concepts of programming languages /
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (2004)
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (2004)
Programming language pragmatics (a companied by CD /
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2006)
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2006)
Design concepts in programming languages
de réir: Turbak, Franklyn Albin
Foilsithe / Cruthaithe: (2008)
de réir: Turbak, Franklyn Albin
Foilsithe / Cruthaithe: (2008)
Concepts of programming languages /
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (1993)
de réir: Sebesta, Robert W.
Foilsithe / Cruthaithe: (1993)
Programming language pragmatics (a companied by CD /
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2000)
de réir: Scott, Michael L.
Foilsithe / Cruthaithe: (2000)
Programming languages : principles and paradigms /
de réir: Tucker, Allen
Foilsithe / Cruthaithe: (2002)
de réir: Tucker, Allen
Foilsithe / Cruthaithe: (2002)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
de réir: Balbaert, Ivo
Foilsithe / Cruthaithe: (2014)
de réir: Balbaert, Ivo
Foilsithe / Cruthaithe: (2014)
Learn meteor : node.js and mongodb javascript platform /
de réir: Weil, Arnaud
Foilsithe / Cruthaithe: (2016)
de réir: Weil, Arnaud
Foilsithe / Cruthaithe: (2016)
Practical foundations for programming languages
de réir: Harper, Robert
Foilsithe / Cruthaithe: (2013)
de réir: Harper, Robert
Foilsithe / Cruthaithe: (2013)
Programming languages : an interpreter-based approach /
de réir: Kamin, Samuel N.
Foilsithe / Cruthaithe: (1990)
de réir: Kamin, Samuel N.
Foilsithe / Cruthaithe: (1990)
F# for quantitative finance /
de réir: Astborg, Johan
Foilsithe / Cruthaithe: (2013)
de réir: Astborg, Johan
Foilsithe / Cruthaithe: (2013)
Programming with Microsoft Visual Basic 6.0 /
de réir: Zak, Diane
Foilsithe / Cruthaithe: (2001)
de réir: Zak, Diane
Foilsithe / Cruthaithe: (2001)
Build your own framework with Visual FoxPro
de réir: Chazotte, Ken
Foilsithe / Cruthaithe: (2004)
de réir: Chazotte, Ken
Foilsithe / Cruthaithe: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
de réir: Erasmus, Michael
Foilsithe / Cruthaithe: (2012)
de réir: Erasmus, Michael
Foilsithe / Cruthaithe: (2012)
Introduction to computer science ... /
de réir: Hume, J.N.P
Foilsithe / Cruthaithe: (1990)
de réir: Hume, J.N.P
Foilsithe / Cruthaithe: (1990)
Beginning Visual C++ 6 /
de réir: Horton, Ivor
Foilsithe / Cruthaithe: (1998)
de réir: Horton, Ivor
Foilsithe / Cruthaithe: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
de réir: Joshi, Vijay
Foilsithe / Cruthaithe: (2010)
de réir: Joshi, Vijay
Foilsithe / Cruthaithe: (2010)
Character development in blender 2.5
de réir: Williamson, Jonathan Carter
Foilsithe / Cruthaithe: (2011)
de réir: Williamson, Jonathan Carter
Foilsithe / Cruthaithe: (2011)
Programming language pragmatics
de réir: Scott, Michael Lee, 1959-
Foilsithe / Cruthaithe: (2006)
de réir: Scott, Michael Lee, 1959-
Foilsithe / Cruthaithe: (2006)
Code craft the practice of writing excellent code /
de réir: Goodliffe, Pete
Foilsithe / Cruthaithe: (2006)
de réir: Goodliffe, Pete
Foilsithe / Cruthaithe: (2006)
Míreanna comhchosúla
-
Types and programming languages
de réir: Pierce, Benjamin C.
Foilsithe / Cruthaithe: (2002) -
Abstact data types /
de réir: Dale, Nell
Foilsithe / Cruthaithe: (1996) -
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
de réir: Saxena, Shiti
Foilsithe / Cruthaithe: (2013) -
Programming systems and languages.
de réir: Rosen, Saul
Foilsithe / Cruthaithe: (1967) -
Software engineering (a lifecycle approach) /
de réir: Mohapatra, Pratap K. J.
Foilsithe / Cruthaithe: (2010)