Systematic Program Design

Systematic Program Design

Bibliografski detalji
Glavni autor:	Yanhong Annie Liu
Format:	Elektronički e-knjiga
Jezik:	English
Izdano:	Cambridge University Press, 06/05/2013
Izdanje:	1
Teme:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
Online pristup:	Full text available on Cambridge University Press Off-campus access

Similar Items

Programming in Visual Basic 2010
od: Jim McKeown
Izdano: (2012)

Modeling in Event-B
od: Jean-Raymond Abrial
Izdano: (2013)

Steps in Scala
od: Christos K. K. Loverdos, Apostolos Syropoulos
Izdano: (2012)

Practical Foundations for Programming Languages
od: Robert Harper
Izdano: (2013)

Pearls of Functional Algorithm Design
od: Richard Bird
Izdano: (2013)

Programming with Higher-Order Logic
od: Dale Miller, Gopalan Nadathur
Izdano: (2012)

Nominal Sets
od: Andrew M. Pitts
Izdano: (2013)

Transitions and Trees
od: Hans Hüttel
Izdano: (2012)

An Introduction to Category Theory
od: Harold Simmons
Izdano: (2012)

Programming logic and design : comprehensive /
od: Farrell, Joyce
Izdano: (2011)

Introduction to Bisimulation and Coinduction
od: Davide Sangiorgi
Izdano: (2012)

Web Data Management
od: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Izdano: (2012)

Head First design patterns /
Izdano: (2004)

Digital designing with programmable logic devices /
od: Carter, John W., 1951-
Izdano: (1997)

.NET Domain-Driven Design with C# : problem, design, solution /
od: McCarthy, Tim
Izdano: (2008)

Natural language understanding /
od: Allen, James, 1950-
Izdano: (1995)

Natural language understanding /
od: Allen, James, 1950-
Izdano: (1995)

Semantic Web programming /
Izdano: (2009)

Logic and computer design fundamentals /
od: Mano, M. Morris, 1927-
Izdano: (2000)

Software Modeling and Design
od: Hassan Gomaa
Izdano: (2012)

Digital design /
od: Mano, M. Morris, 1927-
Izdano: (1991)

An Introduction to Gödel's Theorems
od: Peter Smith
Izdano: (2013)

Basics of logic /
od: Barker, Stephen Francis
Izdano: (1986)

Java foundation classes in a nutshell : a desktop quick reference /
od: Flanagan, David
Izdano: (1999)

Zend Enterprise PHP patterns /
od: Coggeshall, John, 1981-
Izdano: (2009)

Zend Enterprise PHP patterns /
od: Coggeshall, John, 1981-
Izdano: (2009)

Spring in action /
od: Walls, Craig
Izdano: (2011)

Beginning Java ME platform /
od: Rischpater, Ray
Izdano: (2009)

Digital logic and computer design /
od: Mano, M. Morris, 1927-
Izdano: (1979)

Digital logic and computer design /
od: Mano, M. Morris, 1927-
Izdano: (1979)

Fundamentals of digital logic with VHDL design /
od: Brown, Stephen D.
Izdano: (2000)

The logic of language
od: Seuren, Pieter A. M.

Our logic for discussion and persuasion /
od: Ha, Byunghak
Izdano: (2000)

Digital design : a pragmatic approach /
od: Johnson, Everett L.
Izdano: (1987)

Spring in action /
od: Walls, Craig
Izdano: (2019)

Logic Journal of the IGPL

Learn Objective-C for Java developers /
od: Bucanek, James
Izdano: (2009)

Logic, language, and meaning /
od: Gamut, L. T. F.
Izdano: (1991)

Object-oriented analysis and design : understanding system development with UML 2.0 /
od: O'Docherty, Mike
Izdano: (2005)

C and UNIX : tools for software design /
od: Barrett, Martin L.
Izdano: (1996)