Cover Image

QR Code

Behavioural types : from theory to tools /

Saved in:

Bibliographic Details
Other Authors:	Gay, Simon (Editor), Ravara, Antonio (Editor)
Format:	Electronic eBook
Language:	English
Published:	Delft, The Netherlands : River Publishers, [2017]
Series:	River Publishers series in automation, control and robotics.
Subjects:	Programming languages (Electronic computers) Electronic books.
Online Access:	Click to View
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Types and programming languages
by: Pierce, Benjamin C.
Published: (2002)

Abstact data types /
by: Dale, Nell
Published: (1996)

Getting started with SBT for Scala : equip yourself with a high-productivity work environment using SBT, a build tool for Scala /
by: Saxena, Shiti
Published: (2013)

Programming systems and languages.
by: Rosen, Saul
Published: (1967)

Tcl/Tk8.5 programming cookbook over 100 great recipes to effectively learn Tcl/Tk8.5 /
by: Wheeler, Bert
Published: (2011)

Software engineering (a lifecycle approach) /
by: Mohapatra, Pratap K. J.
Published: (2010)

TypeScript essentials : develop large scale responsive web applications with TypeScript /
by: Nance, C. (Christopher)
Published: (2014)

Intermediate business programming with C++
by: Voils, Don
Published: (2007)

Advanced business programming with C++ 2005
by: Voils, Don
Published: (2007)

The Professional programmers guide to C
by: McKay, Pat
Published: (1989)

Beginning c# game programming
by: Penton, Ron
Published: (2005)

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 /
by: Idris, Ivan
Published: (2013)

The elements of C++ style
by: Misfeldt, Trevor, 1969-
Published: (2004)

The Standard ML basis library
Published: (2004)

Professional Swift(Tm) /
by: Dippery, Michael
Published: (2015)

The art of assembly language
by: Hyde, Randall
Published: (2003)

The art of Assembly language
by: Hyde, Randall
Published: (2010)

Programming language landscape : syntax, semantics, and implementation /
by: Marcotty, Michael, 1931-
Published: (1986)

Programming languages : paradigm and practice /
by: Appleby, Doris
Published: (1991)

Concepts of programming languages /
by: Sebesta, Robert W.
Published: (1993)

Principles of programming languages : design, evaluation, and implementation /
by: MacLennan, Bruce J.
Published: (1999)

Concepts of programming languages /
by: Sebesta, Robert W.
Published: (2004)

Programming language pragmatics (a companied by CD /
by: Scott, Michael L.
Published: (2000)

Programming languages : principles and paradigms /
by: Tucker, Allen
Published: (2002)

Programming language pragmatics (a companied by CD /
by: Scott, Michael L.
Published: (2006)

Design concepts in programming languages
by: Turbak, Franklyn Albin
Published: (2008)

Dart cookbook : over 110 incredibly effective, useful, and hands-on recipes to design Dart web client and server applications /
by: Balbaert, Ivo
Published: (2014)

Learn meteor : node.js and mongodb javascript platform /
by: Weil, Arnaud
Published: (2016)

Practical foundations for programming languages
by: Harper, Robert
Published: (2013)

Programming languages : an interpreter-based approach /
by: Kamin, Samuel N.
Published: (1990)

F# for quantitative finance /
by: Astborg, Johan
Published: (2013)

Programming with Microsoft Visual Basic 6.0 /
by: Zak, Diane
Published: (2001)

CoffeeScript programming with jQuery, Rails, and Node.js
by: Erasmus, Michael
Published: (2012)

Build your own framework with Visual FoxPro
by: Chazotte, Ken
Published: (2004)

Introduction to computer science ... /
by: Hume, J.N.P
Published: (1990)

Beginning Visual C++ 6 /
by: Horton, Ivor
Published: (1998)

PHP jQuery cookbook over 60 simple but highly effective recipes to create interactive web applications using PHP with jQuery /
by: Joshi, Vijay
Published: (2010)

Character development in blender 2.5
by: Williamson, Jonathan Carter
Published: (2011)

Programming language pragmatics
by: Scott, Michael Lee, 1959-
Published: (2006)

Code craft the practice of writing excellent code /
by: Goodliffe, Pete
Published: (2006)