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