Behavioural types : from theory to tools /
Сохранить в:
Другие авторы: | Gay, Simon (Редактор), Ravara, Antonio (Редактор) |
---|---|
Формат: | Электронный ресурс eКнига |
Язык: | английский |
Опубликовано: |
Delft, The Netherlands :
River Publishers,
[2017]
|
Серии: | River Publishers series in automation, control and robotics.
|
Предметы: | |
Online-ссылка: | Click to View |
Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
Схожие документы
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 elements of C++ style
по: Misfeldt, Trevor, 1969-
Опубликовано: (2004)
по: Misfeldt, Trevor, 1969-
Опубликовано: (2004)
Beginning c# game programming
по: Penton, Ron
Опубликовано: (2005)
по: Penton, Ron
Опубликовано: (2005)
The Professional programmers guide to C
по: McKay, Pat
Опубликовано: (1989)
по: McKay, Pat
Опубликовано: (1989)
Intermediate business programming with C++
по: Voils, Don
Опубликовано: (2007)
по: Voils, Don
Опубликовано: (2007)
Advanced business programming with C++ 2005
по: Voils, Don
Опубликовано: (2007)
по: Voils, Don
Опубликовано: (2007)
The Standard ML basis library
Опубликовано: (2004)
Опубликовано: (2004)
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
Опубликовано: (2010)
по: Hyde, Randall
Опубликовано: (2010)
The art of assembly language
по: Hyde, Randall
Опубликовано: (2003)
по: Hyde, Randall
Опубликовано: (2003)
Programming languages : principles and paradigms /
по: Tucker, Allen
Опубликовано: (2002)
по: Tucker, Allen
Опубликовано: (2002)
Programming language pragmatics (a companied by CD /
по: Scott, Michael L.
Опубликовано: (2006)
по: Scott, Michael L.
Опубликовано: (2006)
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)
Concepts of programming languages /
по: Sebesta, Robert W.
Опубликовано: (1993)
по: Sebesta, Robert W.
Опубликовано: (1993)
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.
Опубликовано: (2000)
по: Scott, Michael L.
Опубликовано: (2000)
Design concepts in programming languages
по: Turbak, Franklyn Albin
Опубликовано: (2008)
по: Turbak, Franklyn Albin
Опубликовано: (2008)
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)
Practical foundations for programming languages
по: Harper, Robert
Опубликовано: (2013)
по: Harper, Robert
Опубликовано: (2013)
Learn meteor : node.js and mongodb javascript platform /
по: Weil, Arnaud
Опубликовано: (2016)
по: Weil, Arnaud
Опубликовано: (2016)
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)