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