Systematic Program Design

Systematic Program Design

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Yanhong Annie Liu
Formáid:	Leictreonach Ríomhleabhar
Teanga:	English
Foilsithe / Cruthaithe:	Cambridge University Press, 06/05/2013
Eagrán:	1
Ábhair:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
Rochtain ar líne:	Full text available on Cambridge University Press Off-campus access

Míreanna comhchosúla

Programming in Visual Basic 2010
de réir: Jim McKeown
Foilsithe / Cruthaithe: (2012)

Modeling in Event-B
de réir: Jean-Raymond Abrial
Foilsithe / Cruthaithe: (2013)

Steps in Scala
de réir: Christos K. K. Loverdos, Apostolos Syropoulos
Foilsithe / Cruthaithe: (2012)

Practical Foundations for Programming Languages
de réir: Robert Harper
Foilsithe / Cruthaithe: (2013)

Pearls of Functional Algorithm Design
de réir: Richard Bird
Foilsithe / Cruthaithe: (2013)

Programming with Higher-Order Logic
de réir: Dale Miller, Gopalan Nadathur
Foilsithe / Cruthaithe: (2012)

Nominal Sets
de réir: Andrew M. Pitts
Foilsithe / Cruthaithe: (2013)

Transitions and Trees
de réir: Hans Hüttel
Foilsithe / Cruthaithe: (2012)

An Introduction to Category Theory
de réir: Harold Simmons
Foilsithe / Cruthaithe: (2012)

Programming logic and design : comprehensive /
de réir: Farrell, Joyce
Foilsithe / Cruthaithe: (2011)

Introduction to Bisimulation and Coinduction
de réir: Davide Sangiorgi
Foilsithe / Cruthaithe: (2012)

Web Data Management
de réir: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Foilsithe / Cruthaithe: (2012)

Head First design patterns /
Foilsithe / Cruthaithe: (2004)

Digital designing with programmable logic devices /
de réir: Carter, John W., 1951-
Foilsithe / Cruthaithe: (1997)

.NET Domain-Driven Design with C# : problem, design, solution /
de réir: McCarthy, Tim
Foilsithe / Cruthaithe: (2008)

Natural language understanding /
de réir: Allen, James, 1950-
Foilsithe / Cruthaithe: (1995)

Natural language understanding /
de réir: Allen, James, 1950-
Foilsithe / Cruthaithe: (1995)

Semantic Web programming /
Foilsithe / Cruthaithe: (2009)

Logic and computer design fundamentals /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (2000)

Software Modeling and Design
de réir: Hassan Gomaa
Foilsithe / Cruthaithe: (2012)

Digital design /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (1991)

An Introduction to Gödel's Theorems
de réir: Peter Smith
Foilsithe / Cruthaithe: (2013)

Basics of logic /
de réir: Barker, Stephen Francis
Foilsithe / Cruthaithe: (1986)

Java foundation classes in a nutshell : a desktop quick reference /
de réir: Flanagan, David
Foilsithe / Cruthaithe: (1999)

Zend Enterprise PHP patterns /
de réir: Coggeshall, John, 1981-
Foilsithe / Cruthaithe: (2009)

Zend Enterprise PHP patterns /
de réir: Coggeshall, John, 1981-
Foilsithe / Cruthaithe: (2009)

Spring in action /
de réir: Walls, Craig
Foilsithe / Cruthaithe: (2011)

Beginning Java ME platform /
de réir: Rischpater, Ray
Foilsithe / Cruthaithe: (2009)

Digital logic and computer design /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (1979)

Digital logic and computer design /
de réir: Mano, M. Morris, 1927-
Foilsithe / Cruthaithe: (1979)

Fundamentals of digital logic with VHDL design /
de réir: Brown, Stephen D.
Foilsithe / Cruthaithe: (2000)

The logic of language
de réir: Seuren, Pieter A. M.

Our logic for discussion and persuasion /
de réir: Ha, Byunghak
Foilsithe / Cruthaithe: (2000)

Digital design : a pragmatic approach /
de réir: Johnson, Everett L.
Foilsithe / Cruthaithe: (1987)

Spring in action /
de réir: Walls, Craig
Foilsithe / Cruthaithe: (2019)

Logic Journal of the IGPL

Learn Objective-C for Java developers /
de réir: Bucanek, James
Foilsithe / Cruthaithe: (2009)

Logic, language, and meaning /
de réir: Gamut, L. T. F.
Foilsithe / Cruthaithe: (1991)

Object-oriented analysis and design : understanding system development with UML 2.0 /
de réir: O'Docherty, Mike
Foilsithe / Cruthaithe: (2005)

C and UNIX : tools for software design /
de réir: Barrett, Martin L.
Foilsithe / Cruthaithe: (1996)