Systematic Program Design

Systematic Program Design

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Yanhong Annie Liu
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge University Press, 06/05/2013
Έκδοση:	1
Θέματα:	Programming Languages and Applied Logic Software Engineering and Development Electronic books
Διαθέσιμο Online:	Full text available on Cambridge University Press Off-campus access

Παρόμοια τεκμήρια

Programming in Visual Basic 2010
ανά: Jim McKeown
Έκδοση: (2012)

Modeling in Event-B
ανά: Jean-Raymond Abrial
Έκδοση: (2013)

Steps in Scala
ανά: Christos K. K. Loverdos, Apostolos Syropoulos
Έκδοση: (2012)

Practical Foundations for Programming Languages
ανά: Robert Harper
Έκδοση: (2013)

Pearls of Functional Algorithm Design
ανά: Richard Bird
Έκδοση: (2013)

Programming with Higher-Order Logic
ανά: Dale Miller, Gopalan Nadathur
Έκδοση: (2012)

Nominal Sets
ανά: Andrew M. Pitts
Έκδοση: (2013)

Transitions and Trees
ανά: Hans Hüttel
Έκδοση: (2012)

An Introduction to Category Theory
ανά: Harold Simmons
Έκδοση: (2012)

Programming logic and design : comprehensive /
ανά: Farrell, Joyce
Έκδοση: (2011)

Introduction to Bisimulation and Coinduction
ανά: Davide Sangiorgi
Έκδοση: (2012)

Web Data Management
ανά: Serge Abiteboul, Ioana Manolescu, Philippe Rigaux, Marie-Christine Rousset, Pierre Senellart
Έκδοση: (2012)

Head First design patterns /
Έκδοση: (2004)

Digital designing with programmable logic devices /
ανά: Carter, John W., 1951-
Έκδοση: (1997)

.NET Domain-Driven Design with C# : problem, design, solution /
ανά: McCarthy, Tim
Έκδοση: (2008)

Logic and computer design fundamentals /
ανά: Mano, M. Morris, 1927-
Έκδοση: (2000)

Natural language understanding /
ανά: Allen, James, 1950-
Έκδοση: (1995)

Natural language understanding /
ανά: Allen, James, 1950-
Έκδοση: (1995)

Software Modeling and Design
ανά: Hassan Gomaa
Έκδοση: (2012)

Semantic Web programming /
Έκδοση: (2009)

Digital design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1991)

An Introduction to Gödel's Theorems
ανά: Peter Smith
Έκδοση: (2013)

Basics of logic /
ανά: Barker, Stephen Francis
Έκδοση: (1986)

Digital logic and computer design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1979)

Digital logic and computer design /
ανά: Mano, M. Morris, 1927-
Έκδοση: (1979)

Digital design : a pragmatic approach /
ανά: Johnson, Everett L.
Έκδοση: (1987)

Fundamentals of digital logic with VHDL design /
ανά: Brown, Stephen D.
Έκδοση: (2000)

Our logic for discussion and persuasion /
ανά: Ha, Byunghak
Έκδοση: (2000)

The logic of language
ανά: Seuren, Pieter A. M.

Java foundation classes in a nutshell : a desktop quick reference /
ανά: Flanagan, David
Έκδοση: (1999)

Zend Enterprise PHP patterns /
ανά: Coggeshall, John, 1981-
Έκδοση: (2009)

Zend Enterprise PHP patterns /
ανά: Coggeshall, John, 1981-
Έκδοση: (2009)

Spring in action /
ανά: Walls, Craig
Έκδοση: (2011)

Beginning Java ME platform /
ανά: Rischpater, Ray
Έκδοση: (2009)

Logic Journal of the IGPL

Spring in action /
ανά: Walls, Craig
Έκδοση: (2019)

Logic, language, and meaning /
ανά: Gamut, L. T. F.
Έκδοση: (1991)

Adaptation of systematic analysis of language transcripts (SALT) for Bangla data
ανά: Sultana, Asifa
Έκδοση: (2016)

Advanced digital design with the Verilog HDL /
ανά: Ciletti, Michael D.
Έκδοση: (2009)

Object-oriented analysis and design : understanding system development with UML 2.0 /
ανά: O'Docherty, Mike
Έκδοση: (2005)