Behavioural types : from theory to tools /
Đã lưu trong:
Tác giả khác: | Gay, Simon (Biên tập viên), Ravara, Antonio (Biên tập viên) |
---|---|
Định dạng: | Điện tử eBook |
Ngôn ngữ: | Tiếng Anh |
Được phát hành: |
Delft, The Netherlands :
River Publishers,
[2017]
|
Loạt: | River Publishers series in automation, control and robotics.
|
Những chủ đề: | |
Truy cập trực tuyến: | Click to View |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Types and programming languages
Bằng: Pierce, Benjamin C.
Được phát hành: (2002)
Bằng: Pierce, Benjamin C.
Được phát hành: (2002)
Abstact data types /
Bằng: Dale, Nell
Được phát hành: (1996)
Bằng: Dale, Nell
Được phát hành: (1996)
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Bằng: Saxena, Shiti
Được phát hành: (2013)
Bằng: Saxena, Shiti
Được phát hành: (2013)
Programming systems and languages.
Bằng: Rosen, Saul
Được phát hành: (1967)
Bằng: Rosen, Saul
Được phát hành: (1967)
Software engineering (a lifecycle approach) /
Bằng: Mohapatra, Pratap K. J.
Được phát hành: (2010)
Bằng: Mohapatra, Pratap K. J.
Được phát hành: (2010)
Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
Bằng: Wheeler, Bert
Được phát hành: (2011)
Bằng: Wheeler, Bert
Được phát hành: (2011)
Beginning c# game programming
Bằng: Penton, Ron
Được phát hành: (2005)
Bằng: Penton, Ron
Được phát hành: (2005)
The elements of C++ style
Bằng: Misfeldt, Trevor, 1969-
Được phát hành: (2004)
Bằng: Misfeldt, Trevor, 1969-
Được phát hành: (2004)
Intermediate business programming with C++
Bằng: Voils, Don
Được phát hành: (2007)
Bằng: Voils, Don
Được phát hành: (2007)
The Professional programmers guide to C
Bằng: McKay, Pat
Được phát hành: (1989)
Bằng: McKay, Pat
Được phát hành: (1989)
The Standard ML basis library
Được phát hành: (2004)
Được phát hành: (2004)
Advanced business programming with C++ 2005
Bằng: Voils, Don
Được phát hành: (2007)
Bằng: Voils, Don
Được phát hành: (2007)
Professional Swift(Tm) /
Bằng: Dippery, Michael
Được phát hành: (2015)
Bằng: Dippery, Michael
Được phát hành: (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 /
Bằng: Idris, Ivan
Được phát hành: (2013)
Bằng: Idris, Ivan
Được phát hành: (2013)
TypeScript essentials : develop large scale responsive web applications with TypeScript /
Bằng: Nance, C. (Christopher)
Được phát hành: (2014)
Bằng: Nance, C. (Christopher)
Được phát hành: (2014)
The art of assembly language
Bằng: Hyde, Randall
Được phát hành: (2003)
Bằng: Hyde, Randall
Được phát hành: (2003)
The art of Assembly language
Bằng: Hyde, Randall
Được phát hành: (2010)
Bằng: Hyde, Randall
Được phát hành: (2010)
Concepts of programming languages /
Bằng: Sebesta, Robert W.
Được phát hành: (2004)
Bằng: Sebesta, Robert W.
Được phát hành: (2004)
Programming language landscape : syntax, semantics, and implementation /
Bằng: Marcotty, Michael, 1931-
Được phát hành: (1986)
Bằng: Marcotty, Michael, 1931-
Được phát hành: (1986)
Programming languages : paradigm and practice /
Bằng: Appleby, Doris
Được phát hành: (1991)
Bằng: Appleby, Doris
Được phát hành: (1991)
Concepts of programming languages /
Bằng: Sebesta, Robert W.
Được phát hành: (1993)
Bằng: Sebesta, Robert W.
Được phát hành: (1993)
Principles of programming languages : design, evaluation, and implementation /
Bằng: MacLennan, Bruce J.
Được phát hành: (1999)
Bằng: MacLennan, Bruce J.
Được phát hành: (1999)
Programming language pragmatics (a companied by CD /
Bằng: Scott, Michael L.
Được phát hành: (2000)
Bằng: Scott, Michael L.
Được phát hành: (2000)
Programming languages : principles and paradigms /
Bằng: Tucker, Allen
Được phát hành: (2002)
Bằng: Tucker, Allen
Được phát hành: (2002)
Programming language pragmatics (a companied by CD /
Bằng: Scott, Michael L.
Được phát hành: (2006)
Bằng: Scott, Michael L.
Được phát hành: (2006)
Design concepts in programming languages
Bằng: Turbak, Franklyn Albin
Được phát hành: (2008)
Bằng: Turbak, Franklyn Albin
Được phát hành: (2008)
Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
Bằng: Balbaert, Ivo
Được phát hành: (2014)
Bằng: Balbaert, Ivo
Được phát hành: (2014)
Practical foundations for programming languages
Bằng: Harper, Robert
Được phát hành: (2013)
Bằng: Harper, Robert
Được phát hành: (2013)
Learn meteor : node.js and mongodb javascript platform /
Bằng: Weil, Arnaud
Được phát hành: (2016)
Bằng: Weil, Arnaud
Được phát hành: (2016)
Programming languages : an interpreter-based approach /
Bằng: Kamin, Samuel N.
Được phát hành: (1990)
Bằng: Kamin, Samuel N.
Được phát hành: (1990)
F# for quantitative finance /
Bằng: Astborg, Johan
Được phát hành: (2013)
Bằng: Astborg, Johan
Được phát hành: (2013)
Programming with Microsoft Visual Basic 6.0 /
Bằng: Zak, Diane
Được phát hành: (2001)
Bằng: Zak, Diane
Được phát hành: (2001)
Build your own framework with Visual FoxPro
Bằng: Chazotte, Ken
Được phát hành: (2004)
Bằng: Chazotte, Ken
Được phát hành: (2004)
CoffeeScript programming with jQuery, Rails, and Node.js
Bằng: Erasmus, Michael
Được phát hành: (2012)
Bằng: Erasmus, Michael
Được phát hành: (2012)
Introduction to computer science ... /
Bằng: Hume, J.N.P
Được phát hành: (1990)
Bằng: Hume, J.N.P
Được phát hành: (1990)
Beginning Visual C++ 6 /
Bằng: Horton, Ivor
Được phát hành: (1998)
Bằng: Horton, Ivor
Được phát hành: (1998)
PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
Bằng: Joshi, Vijay
Được phát hành: (2010)
Bằng: Joshi, Vijay
Được phát hành: (2010)
Character development in blender 2.5
Bằng: Williamson, Jonathan Carter
Được phát hành: (2011)
Bằng: Williamson, Jonathan Carter
Được phát hành: (2011)
Programming language pragmatics
Bằng: Scott, Michael Lee, 1959-
Được phát hành: (2006)
Bằng: Scott, Michael Lee, 1959-
Được phát hành: (2006)
Code craft the practice of writing excellent code /
Bằng: Goodliffe, Pete
Được phát hành: (2006)
Bằng: Goodliffe, Pete
Được phát hành: (2006)
Những quyển sách tương tự
-
Types and programming languages
Bằng: Pierce, Benjamin C.
Được phát hành: (2002) -
Abstact data types /
Bằng: Dale, Nell
Được phát hành: (1996) -
Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
Bằng: Saxena, Shiti
Được phát hành: (2013) -
Programming systems and languages.
Bằng: Rosen, Saul
Được phát hành: (1967) -
Software engineering (a lifecycle approach) /
Bằng: Mohapatra, Pratap K. J.
Được phát hành: (2010)