Bearbmagovva

QR-koda

Behavioural types : from theory to tools /

Furkejuvvon:

Bibliográfalaš dieđut
Eará dahkkit:	Gay, Simon (Doaimmaheaddji), Ravara, Antonio (Doaimmaheaddji)
Materiálatiipa:	Elektrovnnalaš E-girji
Giella:	eaŋgalasgiella
Almmustuhtton:	Delft, The Netherlands : River Publishers, [2017]
Ráidu:	River Publishers series in automation, control and robotics.
Fáttát:	Programming languages (Electronic computers) Electronic books.
Liŋkkat:	Click to View
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid

Types and programming languages
Dahkki: Pierce, Benjamin C.
Almmustuhtton: (2002)

Abstact data types /
Dahkki: Dale, Nell
Almmustuhtton: (1996)

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

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

Programming systems and languages.
Dahkki: Rosen, Saul
Almmustuhtton: (1967)

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

The Standard ML basis library
Almmustuhtton: (2004)

The Professional programmers guide to C
Dahkki: McKay, Pat
Almmustuhtton: (1989)

Beginning c# game programming
Dahkki: Penton, Ron
Almmustuhtton: (2005)

The elements of C++ style
Dahkki: Misfeldt, Trevor, 1969-
Almmustuhtton: (2004)

Intermediate business programming with C++
Dahkki: Voils, Don
Almmustuhtton: (2007)

Advanced business programming with C++ 2005
Dahkki: Voils, Don
Almmustuhtton: (2007)

Professional Swift(Tm) /
Dahkki: Dippery, Michael
Almmustuhtton: (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 /
Dahkki: Idris, Ivan
Almmustuhtton: (2013)

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

The art of Assembly language
Dahkki: Hyde, Randall
Almmustuhtton: (2010)

The art of assembly language
Dahkki: Hyde, Randall
Almmustuhtton: (2003)

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

Design concepts in programming languages
Dahkki: Turbak, Franklyn Albin
Almmustuhtton: (2008)

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

Programming languages : paradigm and practice /
Dahkki: Appleby, Doris
Almmustuhtton: (1991)

Concepts of programming languages /
Dahkki: Sebesta, Robert W.
Almmustuhtton: (2004)

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

Concepts of programming languages /
Dahkki: Sebesta, Robert W.
Almmustuhtton: (1993)

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

Programming languages : principles and paradigms /
Dahkki: Tucker, Allen
Almmustuhtton: (2002)

Practical foundations for programming languages
Dahkki: Harper, Robert
Almmustuhtton: (2013)

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

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

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

F# for quantitative finance /
Dahkki: Astborg, Johan
Almmustuhtton: (2013)

Programming with Microsoft Visual Basic 6.0 /
Dahkki: Zak, Diane
Almmustuhtton: (2001)

Build your own framework with Visual FoxPro
Dahkki: Chazotte, Ken
Almmustuhtton: (2004)

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

Introduction to computer science ... /
Dahkki: Hume, J.N.P
Almmustuhtton: (1990)

Beginning Visual C++ 6 /
Dahkki: Horton, Ivor
Almmustuhtton: (1998)

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

Character development in blender 2.5
Dahkki: Williamson, Jonathan Carter
Almmustuhtton: (2011)

Programming language pragmatics
Dahkki: Scott, Michael Lee, 1959-
Almmustuhtton: (2006)

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